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