Darbat was their project mainly to run macOS on L4. AFAIK this was canceled, and no work has happened since around 2006. The newer L4 stuff (like Apple's Secur

Darbat was their project mainly to run macOS on L4. AFAIK this was canceled, and no work has happened since around 2006. The newer L4 stuff (like Apple's Secure Enclave) is based on L4Ka::Pistachio, but with proprietary changes made by Apple. [1] [1] https://www.blackhat.com/docs/us-16/materials/us-16-Mandt-Demystifying-The-Secure-Enclave-Processor.pdf https://www.blackhat.com/docs/us-16/materials/us-16-Mandt-De...