|
| From: | Prem Mallappa |
| Subject: | Re: L4.sec |
| Date: | Fri, 8 Jun 2007 09:19:53 +0530 |
[1] http://ertos.nicta.com.au/research/sel4/
Looks like it is written in Haskell, anybody has/interested in 'C/C++' implementation?
| [Prev in Thread] | Current Thread | [Next in Thread] |