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