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 <[email protected]> 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_seL4.3F > > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
