Hi,

I am currently trying to use the camkesvm example and run it in qemu. I am currently able to compile the c162_twovm_defconfig application. However, when running, I have the following issue (see below).

So, I am wondering what would be the good arguments to start the application in qemu. I noticed that the kernel/initrd image for linux are specific in a header file, I assume this is also included in the image loaded by capdl.

Any idea about how to run this example with qemu and/or how to test it?

Thanks!

Starting node #0
vt-x: not supported
<<seL4 [decodeUntypedInvocation/193 T0xe2ff1900 "rootserver" @804afa7]: Untyped Retype: Insufficient memory or offset outside untyped>>
Unmasking IOAPIC source 2 on ioapic 0 without ever setting its mode!
Unmasking IOAPIC source 3 on ioapic 0 without ever setting its mode!
Unmasking IOAPIC source 4 on ioapic 0 without ever setting its mode!
Unmasking IOAPIC source 16 on ioapic 0 without ever setting its mode!
Unmasking IOAPIC source 17 on ioapic 0 without ever setting its mode!
Unmasking IOAPIC source 18 on ioapic 0 without ever setting its mode!
Unmasking IOAPIC source 23 on ioapic 0 without ever setting its mode!
<<seL4 [decodeCNodeInvocation/107 T0xe2ff1900 "rootserver" @804a4b2]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>

capDL-loader :: << Error: init_cnode_slot:1471: seL4_FailedLookup >>
Ignoring call to sys_rt_sigprocmask