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
https://sel4.systems/lists/listinfo/devel