Hi Dan, Unfortunately we do not have yet have a real tutorial or documentation for using seL4 as a hypervisor. I can only recommend checking out one of our VM projects https://github.com/seL4proj/camkes-arm-vm-manifest or https://github.com/seL4/camkes-vm-manifest and looking at it to see how it works. You can also refer to https://wiki.sel4.systems/Getting%20started for some general advice on getting familiar with getting and building seL4/CAmkES based projects. Adrian On Thu 15-Sep-2016 12:53 PM, Daniel Wang wrote: Hi all, Is there any document/tutorial about using seL4 as a hypervisor to running Linux on top? Appreciate for your help. Thanks -Dan _______________________________________________ Devel mailing list Devel@sel4.systems<mailto:Devel@sel4.systems> https://sel4.systems/lists/listinfo/devel