[1] http://ertos.nicta.com.au/research/sel4/
Looks like it is written in Haskell, anybody has/interested in 'C/C++' implementation? _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
