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
l4-hackers@os.inf.tu-dresden.de