Capability based L4

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.