|
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] |