Where can I get the information about Linux on seL4
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? Xilong Pei Tongji University 2016/3/29
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... 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/
participants (2)
-
Corey Richardson -
XilongPei