Capability based L4

"Luke A. Guest" <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <1191789576.16252.1.camel__32065.0970250883$1191790586$gmane$org@rogue> 
Hi,

I'm interested in seeing how capabilities work in a real OS kernel and
was wondering if there is any source or documents available that I could
read? Preferably not the Haskell stuff as I just don't get it :(

Is there an implementation of L4.sec? The spec seems like it's missing
stuff, is there an update anywhere?

Thanks,
Luke.
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.