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