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
<>
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!
<>
capDL-loader :: << Error: init_cnode_slot:1471: seL4_FailedLookup >>
Ignoring call to sys_rt_sigprocmask
