Hello,

We are having issues being able to get the seL4test userland image to boot on x86 hardware. We have attempted to boot with syslinux off a USB, with PXELINUX, and with grub and see the same userland image loading issue across boot methods.

Build steps:

- Following https://docs.sel4.systems/Hardware/IA32

- Using “-DPLATFORM=x86_64”

o Does not appear to boot (no serial output)

- Using “-DPLATFORM=ia32”

o Kernel boots but is unable to load userland image

The manifest commit hash is:

01c11cfcd881c1da5b7520162fae40f6eae1c16b

Hardware:

- DELL Optiplex 980 with an Intel Core i7 860 processor

We are seeing the following serial output:

Loading sel4kernel... ok

Loading rootserver... 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=0x1d6000 end=0x4abdf4 size=0x2d5df4 name='rootserver'

Parsing GRUB physical memory map

Physical Memory Region from 0 size 9e400 type 1

Physical Memory Region from f0000 size 10000 type 2

Physical Memory Region from 100000 size df5cfc00 type 1

Adding physical memory region 0x100000-0x1fc00000

Physical Memory Region from df6cfc00 size 54000 type 4

Physical Memory Region from df723c00 size 2000 type 3

Physical Memory Region from df725c00 size 8da400 type 2

Physical Memory Region from f8000000 size 4000000 type 2

Physical Memory Region from fed00000 size 400 type 2

Physical Memory Region from fed20000 size 80000 type 2

Physical Memory Region from fec00000 size 100000 type 2

Physical Memory Region from fee00000 size 100000 type 2

Physical Memory Region from ffb00000 size 500000 type 2

Physical memory region not addressable

Multiboot gave us no video information

ACPI: RSDP paddr=0xfec00

ACPI: RSDP vaddr=0xdfcfec00

ACPI: RSDT paddr=0xfc790

ACPI: RSDT vaddr=0xdfcfc790

***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=0xfc790

ACPI: RSDT vaddr=0xdfcfc790

ACPI: FADT paddr=0xfc85c

ACPI: FADT vaddr=0xdfcfc85c

ACPI: FADT flags=0xa5

ACPI: DMAR paddr=0xfcdde

ACPI: DMAR vaddr=0xdfcfcdde

ACPI: IOMMU host address width: 36

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: 1 IOMMUs detected

ACPI: MADT paddr=0xfc9c4

ACPI: MADT vaddr=0xdfcfc9c4

ACPI: MADT apic_addr=0xfee00000

ACPI: MADT flags=0x1

ACPI: MADT_APIC apic_id=0x0

ACPI: MADT_APIC apic_id=0x2