On Tue, Mar 29, 2016 at 04:44:06PM +0800, XilongPei wrote: > Hi Gernot, > > I found that the footer of http://ssrg.nicta.com.au/ is: > > Served by Apache on Linux on seL4 > > Whare can I get more information about Linux on seL4? >
In the FAQ: https://wiki.sel4.systems/FrequentlyAskedQuestions#Can_I_run_Linux_on_top_of_seL4.3F with some code: https://github.com/seL4/camkes-vm https://github.com/seL4/libsel4vmm See also this recent thread: http://sel4.systems/pipermail/devel/2016-March/000715.html -- cmr +610481762084 http://octayn.net/
signature.asc
Description: PGP signature
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
