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 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-...).
Thanks!