Update on NICTA's secure embedded L4 project

[Kevin Elphinstone]

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
http://www.ertos.nicta.com.au/research/sel4/


cheers

        - Kevin

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