Update on NICTA's secure embedded L4 project

Kevin Elphinstone kevine at cse.unsw.edu.au
Fri Mar 10 05:54:34 CET 2006

Hi All,

I'm please to announce the release of more information on the secure
embedded L4 (seL4) project, including a reference manual of the
experimental kernel API.

You can get more info on the project's web page at


        - Kevin

Dr. Kevin Elphinstone
Senior Researcher and seL4 Project Leader
National ICT Australia


More information about the l4-hackers mailing list