Hi Mike,


I am aware of this guide: https://github.com/GaloisInc/rustwall_vm/blob/32cd73ccb20357e1337b5420707504d6eff5c328/HOWTO_QEMU.md


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 <devel-bounces@sel4.systems> on behalf of Mike Clark <undefinedspace@gmail.com>
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-up-to-2_60-GHz). 

Thanks!