10 Mar
2006
10 Mar
'06
5:54 a.m.
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