Where can I get the information about Linux on seL4
29 Mar
2016
29 Mar
'16
7:44 p.m.
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
29 Mar
29 Mar
7:54 p.m.
On Tue, Mar 29, 2016 at 04:44:06PM +0800, XilongPei wrote:
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/
3373
Age (days ago)
3373
Last active (days ago)
1 comments
2 participants
participants (2)
-
Corey Richardson -
XilongPei