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!