7 Oct
2007
7 Oct
'07
10:39 p.m.
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.