Hi Mike, I am aware of this guide: https://github.com/GaloisInc/rustwall_vm/blob/32cd73ccb20357e1337b5420707504... It has instructions for setting up qemu to be able to run simulations that require VT-x/d features. However it requires changes to the host kernel. Additionally, the e1000e device driver that the camkes-vm uses doesn't work when running in qemu but this shouldn't affect the minimal application. Kind regards, Kent ________________________________ From: Devel on behalf of Mike Clark Sent: Thursday, July 12, 2018 1:46 AM To: devel@sel4.systems Subject: [seL4] seL4 vm examples with Qemu Is it currently possible to boot the camkes-vm-example applications using qemu? I followed the directions here (https://github.com/seL4/camkes-vm-examples) to get a build of the minimal application. I then tried to follow the directions here (https://docs.sel4.systems/Hardware/Qemu/#running-qemu) to boot using qemu. Unfortunately I get an error when trying to boot. The error says: "seL4 caled fail at /host/camkes_vm/kernel/src/arch/x86/kernel/boot_sys.c:785 in function boot_sys, saying "boot_sys failed for some reason :(" halting... Kernel entry via Interrupt, irq 0 I'm running this on a ubuntu 16.04 machine with an Intel i5-4200U (https://ark.intel.com/products/75459/Intel-Core-i5-4200U-Processor-3M-Cache-...). Thanks!