[seL4] Running Linux on top of seL4

Vasily A. Sartakov sartakov at ksyslabs.org
Fri May 26 05:30:07 AEST 2017


Greetings 

> Is there any guide about how to run Linux on top of seL4? Or has anyone done that before that can give me some hints?


This FAQ may help: 

https://wiki.sel4.systems/FrequentlyAskedQuestions#Can_I_run_Linux_on_top_of_seL4.3F





More information about the Devel mailing list