Capability based L4

Luke A. Guest laguest at
Sun Oct 7 22:39:36 CEST 2007


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?


More information about the l4-hackers mailing list