[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!