29 Mar
2016
29 Mar
'16
7:54 p.m.
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/