Hi Alex,
I downloaded your images and ran them on one of our machines using pxeboot and
all of the tests passed. I've attached a log for you.
Given that you are constructing valid images, the error must be somewhere in
the loading process. I notice that your log mentions loading "rootserver" but
the file you sent me is called "sel4rootserver". You manage to successfully
load the kernel, but then the file loaded as the roottask is empty (Assuming
that BOOT MODULE is dumping the contents of the addresses that the root task is
loaded at). Other things to check other than the filename is file permissions
that both of the files have and whether the tftp server is serving every file
in the same directory or just specific files. As for x86_64 not giving any
output, are you also using -DRELEASE? I noticed that the images you sent had
debug symbols stripped, which shouldn't be the case with only
-DPLATFORM=ia32/x86_64 set. If the kernel is crashing before starting
userlevel while in release mode you won't get any output. However, I'd probably
try and get ia32 working before going back to debugging x86_64.
Good luck.
Kind regards,
Kent.
PXELINUX 6.03 PXE 20150816 Copyright (C) 1994-2014 H. Peter Anvin et al
boot:
Loading sel4kernel... ok
Loading sel4rootserver... ok
Boot config: parsing cmdline 'sel4kernel'
Boot config: console_port = 0x3f8
Boot config: debug_port = 0x3f8
Boot config: disable_iommu = false
Detected 1 boot module(s):
module #0: start=0x1d5000 end=0x4ac628 size=0x2d7628 name='sel4rootserver'
Parsing GRUB physical memory map
Physical Memory Region from 0 size 9d800 type 1
Physical Memory Region from 9d800 size 2800 type 2
Physical Memory Region from e0000 size 20000 type 2
Physical Memory Region from 100000 size d51dd000 type 1
Adding physical memory region 0x100000-0x1fc00000
Physical Memory Region from d52dd000 size 7000 type 4
Physical Memory Region from d52e4000 size 436000 type 1
Physical Memory Region from d571a000 size 497000 type 2
Physical Memory Region from d5bb1000 size 533a000 type 1
Physical Memory Region from daeeb000 size 115000 type 2
Physical Memory Region from db000000 size 760000 type 1
Physical Memory Region from db760000 size a0000 type 2
Physical Memory Region from db800000 size 7ae000 type 1
Physical Memory Region from dbfae000 size 52000 type 3
Physical Memory Region from dc000000 size 171d000 type 1
Physical Memory Region from dd71d000 size e3000 type 4
Physical Memory Region from dd800000 size 1611000 type 1
Physical Memory Region from dee11000 size 1ef000 type 2
Physical Memory Region from f8000000 size 4000000 type 2
Physical Memory Region from fec00000 size 1000 type 2
Physical Memory Region from fed00000 size 4000 type 2
Physical Memory Region from fed1c000 size 4000 type 2
Physical Memory Region from fee00000 size 1000 type 2
Physical Memory Region from ff000000 size 1000000 type 2
Physical memory region not addressable
Multiboot gave us no video information
ACPI: RSDP paddr=0xf0490
ACPI: RSDP vaddr=0xdfcf0490
ACPI: RSDT paddr=0xdbfee028
ACPI: RSDT vaddr=0xdffee028
***WARNING*** SKIM window not enabled, this machine is probably vulernable to
Meltdown (https://www.meltdownattack.com), consider enabling
Kernel loaded to: start=0x100000 end=0x13a000 size=0x3a000 entry=0x100076
ACPI: RSDT paddr=0xdbfee028
ACPI: RSDT vaddr=0xdffee028
ACPI: FADT paddr=0xdbfee110
ACPI: FADT vaddr=0xdffee110
ACPI: FADT flags=0x384a5
ACPI: DMAR paddr=0xdbffe350
ACPI: DMAR vaddr=0xdfffe350
ACPI: IOMMU host address width: 39
ACPI: registering RMRR entry for region for device: bus=0x0 dev=0x1d
fun=0x0
ACPI: registering RMRR entry for region for device: bus=0x0 dev=0x1a
fun=0x0
ACPI: registering RMRR entry for region for device: bus=0x0 dev=0x14
fun=0x0
ACPI: 1 IOMMUs detected
ACPI: MADT paddr=0xdbff9c28
ACPI: MADT vaddr=0xdfff9c28
ACPI: MADT apic_addr=0xfee00000
ACPI: MADT flags=0x1
ACPI: MADT_APIC apic_id=0x0
ACPI: MADT_APIC apic_id=0x2
ACPI: Not recording this APIC, only support 1
ACPI: MADT_APIC apic_id=0x4
ACPI: Not recording this APIC, only support 1
ACPI: MADT_APIC apic_id=0x6
ACPI: Not recording this APIC, only support 1
ACPI: MADT_IOAPIC ioapic_id=8 ioapic_addr=0xfec00000 gsib=0
ACPI: MADT_ISO bus=0 source=0 gsi=2 flags=0x0
ACPI: MADT_ISO bus=0 source=9 gsi=9 flags=0xd
ACPI: 1 CPU(s) detected
ELF-loading userland images from boot modules:
BOOT MODULE:
0x1d5000: 464c457f
0x1d5010: 30002
0x1d5020: 2d71f0
0x1d5030: 1a001b
0x1d5040: 8048000
0x1d5050: 1000
0x1d5060: 8049000
0x1d5070: 1000
0x1d5080: 808d000
0x1d5090: 1000
0x1d50a0: 80a0ff0
0x1d50b0: 1000
0x1d50c0: 8048114
0x1d50d0: 4
0x1d50e0: 0
0x1d50f0: 10
0x1d5100: 80a0ff0
0x1d5110: 1
0x1d5120: 554e47
0x1d5130: c9d08b22
0x1d5140: 0
0x1d5150: 0
0x1d5160: 0
0x1d5170: 0
0x1d5180: 0
0x1d5190: 0
0x1d51a0: 0
0x1d51b0: 0
0x1d51c0: 0
0x1d51d0: 0
0x1d51e0: 0
0x1d51f0: 0
0x1d5200: 0
0x1d5210: 0
0x1d5220: 0
0x1d5230: 0
0x1d5240: 0
0x1d5250: 0
0x1d5260: 0
0x1d5270: 0
0x1d5280: 0
0x1d5290: 0
0x1d52a0: 0
0x1d52b0: 0
0x1d52c0: 0
0x1d52d0: 0
0x1d52e0: 0
0x1d52f0: 0
0x1d5300: 0
0x1d5310: 0
size=0x34b000 v_entry=0x80705e8 v_start=0x8048000 v_end=0x8393000
p_start=0x4ad000 p_end=0x7f8000
Moving loaded userland images to final location: from=0x4ad000 to=0x13a000
size=0x34b000
Starting node #0 with APIC ID 0
IOMMU 0x0: 8-bit domain IDs supported
IOMMU: Using 4 page-table levels (max. supported: 4)
IOMMU: Create VTD context table for PCI bus 0x0 (pptr=0xffbe5000)
IOMMU: Create VTD context table for PCI bus 0x1 (pptr=0xffbd8000)
...
IOMMU: Create VTD context table for PCI bus 0xfb (pptr=0xffade000)
IOMMU: Create VTD context table for PCI bus 0xfc (pptr=0xffadd000)
IOMMU: Create VTD context table for PCI bus 0xfd (pptr=0xffadc000)
IOMMU: Create VTD context table for PCI bus 0xfe (pptr=0xffadb000)
IOMMU: Create VTD context table for PCI bus 0xff (pptr=0xffada000)
IOMMU 0x0: enabling... enabled
Booting all finished, dropped to user space
Received reserved IRQ: 124IOMMU: DMA read page fault from 0xd0 (bus: 0x0/dev:
0x1a/fun: 0x0) on address 0x0:dee13000 with reason code 0x6
Node 0 of 1
IOPT levels: 4
IPC buffer: 0x8393000
Empty slots: [931 --> 4096)
sharedFrames: [0 --> 0)
userImageFrames: [14 --> 857)
userImagePaging: [12 --> 13)
untypeds: [857 --> 931)
Initial thread domain: 0
Initial thread cnode size: 12
List of untypeds
------------------
Paddr | Size | Device
0x100000 | 15 | 0
0x108000 | 14 | 0
0x10c000 | 12 | 0
0x485000 | 12 | 0
0x486000 | 13 | 0
0x488000 | 15 | 0
0x490000 | 16 | 0
0x4a0000 | 17 | 0
0x4c0000 | 18 | 0
0x500000 | 20 | 0
0x600000 | 21 | 0
0x800000 | 23 | 0
0x1000000 | 24 | 0
0x2000000 | 25 | 0
0x4000000 | 26 | 0
0x8000000 | 27 | 0
0x10000000 | 27 | 0
0x18000000 | 26 | 0
0x1c000000 | 25 | 0
0x1e000000 | 24 | 0
0x1f000000 | 23 | 0
0x1f800000 | 21 | 0
0x1fa00000 | 19 | 0
0x1fa80000 | 18 | 0
0x1fac0000 | 16 | 0
0x1fad0000 | 15 | 0
0x1fad8000 | 13 | 0
0 | 20 | 1
0x1fc00000 | 22 | 1
0x20000000 | 29 | 1
0x40000000 | 29 | 1
0x60000000 | 29 | 1
0x80000000 | 29 | 1
...
Untyped summary
5 untypeds of size 12
5 untypeds of size 13
4 untypeds of size 14
6 untypeds of size 15
6 untypeds of size 16
5 untypeds of size 17
6 untypeds of size 18
5 untypeds of size 19
4 untypeds of size 20
3 untypeds of size 21
3 untypeds of size 22
4 untypeds of size 23
2 untypeds of size 24
3 untypeds of size 25
3 untypeds of size 26
3 untypeds of size 27
1 untypeds of size 28
6 untypeds of size 29
Switching to a safer, bigger stack...
seL4 Test
=========
[email protected]:59 Failed to allocate object of size
2147483648, error 1
[email protected]:59 Failed to allocate object of size
1073741824, error 1
[email protected]:59 Failed to allocate object of size
536870912, error 1
[email protected]:59 Failed to allocate object of size
268435456, error 1
[email protected]:59 Failed to allocate object of size
134217728, error 1
[email protected]:59 Failed to allocate object of size
67108864, error 1
[email protected]:59 Failed to allocate object of size
33554432, error 1
[email protected]:59 Failed to allocate object of size
16777216, error 1
[email protected]:59 Failed to allocate object of size
8388608, error 1
[email protected]:59 Failed to allocate object of size
4194304, error 1
[email protected]:59 Failed to allocate object of size
2097152, error 1
[email protected]:59 Failed to allocate object of size
1048576, error 1
[email protected]:59 Failed to allocate object of size
524288, error 1
[email protected]:59 Failed to allocate object of size
262144, error 1
[email protected]:59 Failed to allocate object of size
131072, error 1
[email protected]:59 Failed to allocate object of size
65536, error 1
[email protected]:59 Failed to allocate object of size
32768, error 1
[email protected]:59 Failed to allocate object of size
16384, error 1
[email protected]:59 Failed to allocate object of size
8192, error 1
[email protected]:645 vspace is NULL
[email protected]:254 Failed to make reservation: 0x8048000, 4096
[email protected]:447 Failed to create reservations
[email protected]:482 Failed to reserve regions
Starting test suite sel4test
Starting test 0: Test that there are tests
Starting test 1: SYSCALL0000
Starting test 2: SYSCALL0001
<<seL4(CPU 0) [decodeCNodeInvocation/53 T0xffbe7400 "sel4test-driver"
@804bcef]: CNodeCap: Illegal Operation attempted.>>
<<seL4(CPU 0) [decodeCNodeInvocation/53 T0xffbe7400 "sel4test-driver"
@804bcef]: CNodeCap: Illegal Operation attempted.>>
<<seL4(CPU 0) [decodeCNodeInvocation/53 T0xffbe7400 "sel4test-driver"
@804bcef]: CNodeCap: Illegal Operation attempted.>>
<<seL4(CPU 0) [decodeCNodeInvocation/53 T0xffbe7400 "sel4test-driver"
@804bcef]: CNodeCap: Illegal Operation attempted.>>
<<seL4(CPU 0) [decodeCNodeInvocation/53 T0xffbe7400 "sel4test-driver"
@804bcef]: CNodeCap: Illegal Operation attempted.>>
<<seL4(CPU 0) [decodeCNodeInvocation/53 T0xffbe7400 "sel4test-driver"
@804bcef]: CNodeCap: Illegal Operation attempted.>>
<<seL4(CPU 0) [decodeCNodeInvocation/53 T0xffbe7400 "sel4test-driver"
@804bcef]: CNodeCap: Illegal Operation attempted.>>
...
Starting test 121: TRIVIAL0001
Running test TRIVIAL0001 (Ensure the allocator works)
Test TRIVIAL0001 passed
Starting test 122: TRIVIAL0002
Running test TRIVIAL0002 (Ensure the allocator works more than once)
Test TRIVIAL0002 passed
Starting test 123: VSPACE0000
Running test VSPACE0000 (Test threads in different cspace/vspace)
Test VSPACE0000 passed
Starting test 124: VSPACE0002
Running test VSPACE0002 (Test create ASID pool)
<<seL4(CPU 0) [decodeX86MMUInvocation/1499 T0xffad3c00 "VSPACE0002" @8080881]:
X86ASIDPool: Invalid vspace root.>>
Test VSPACE0002 passed
Starting test 125: VSPACE0010
Running test VSPACE0010 (Test dirty and accessed bits on mappings)
Test VSPACE0010 passed
Starting test 127: Test all tests ran
Test suite passed. 127 tests passed. 39 tests disabled.
All is well in the universe
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
