With a recent version of everything, I get the following on startup of the “CAMKES_VM_APP=cma34cr_centos”(*) build

…

Booting all finished, dropped to user space

IOMMU: DMA read page fault from 0xd0 (bus: 0x0/dev: 0x1a/fun: 0x0) on address 0x0:aae16000 with reason code 0x6

acpi_init@acpi.c:386 Failed to find rsdp

hpet_parse_acpi@hpet.c:274 arguments cannot be NULL

sel4platsupport_get_num_pmem_regions@pmem.c:23 Could not find info

…

Does this indicate problems that I should worry about? The reason for my question is that in porting some simple code (without any VMs) that worked fine on the 32-bit seL4 from ~2 years ago to a more recent version of everything, I get the following on startup:

Booting all finished, dropped to user space

IOMMU: DMA read page fault from 0xd0 (bus: 0x0/dev: 0x1a/fun: 0x0) on address 0x0:aae16000 with reason code 0x6

acpi_init@acpi.c:386 Failed to find rsdp

hpet_parse_acpi@hpet.c:274 arguments cannot be NULL

FAULT HANDLER: user exception (number 13, code 0) from time_server.time_server_0_control (ID 0x2), pc = 0x423a47, sp = 0x453cf0, flags = 0x10202

followed by some of my components failing to initialize correctly because of lwip’s udp_new returning NULL, and something else also spewing two copies of “sel4platsupport_get_num_pmem_regions@pmem.c:23 Could not find info” message…

I will try to figure this out myself, but would appreciate any pointers. Thanks!

(*) I am running on a CMA34CR + CAN board, so some of the HW parameters might be slightly different from the version of the HW we all used in the previous projects. I’ve updated HW parameters in the cma34cr_centos.camkes accordingly, but may have missed something.

Aleksey

They were moved to camkes-vm-examples (https://github.com/sel4/camkes-vm-examples).  You can checkout and build with the following: