Are you able to make your images available for me to download? Has this worked before for you and has recently stopped working? Do the images work in Qemu (you may have to rebuild with -DSIMULATION=ON)? We do most of our development using PXELINUX with the following configuration:

From: Devel <devel-bounces@sel4.systems> on behalf of Alex Pavey <Alex.Pavey@dornerworks.com>
Sent: Friday, October 26, 2018 4:59 AM
To: devel@sel4.systems
Subject: [seL4] Booting seL4test on x86 hardware

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