Re: [seL4] Running Linux on top of seL4

Thank you for your response. I found out the two suggested board for Linux virtualization using seL4 are ODROID-XU and TK1-SOM Module. Is it still the case? The TK-1 SOM Module has been used by DARPA SCACCMPILOT project. Is it the recommended platform? For our experiment I need to have a Linux running and some native seL4 apps. I would love to hear any advices of using them for that purpose. Thanks -Dan

On May 25, 2017, at 2:30 PM, Vasily A. Sartakov wrote:

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...

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel