Re: L4.sec

"Prem Mallappa" <[email protected]> Fri, 8 Jun 2007 09:19:53 +0530

Newsgroups	gmane.os.hurd.l4
Message-ID	<[email protected]>

> [1] http://ertos.nicta.com.au/research/sel4/

Looks like it is written in Haskell, anybody has/interested in 'C/C++'
implementation?

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.