4 ms·
I believe Apple uses it in at least one of the auxiliary service processors in their current portfolio under the moniker "Darbat" or "L4/xnu" https://citeseerx
by kev009 2y ago
I believe Apple uses it in at least one of the auxiliary service processors in their current portfolio under the moniker "Darbat" or "L4/xnu"
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=e148cceb117c5cce63e933f6ad552f17daf74d28 https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&d...
https://microkerneldude.org/2016/04/14/so-the-fbi-cracked-the-iphone-with-a-zero-day-and-hardware/ https://microkerneldude.org/2016/04/14/so-the-fbi-cracked-th...
- atombender 2y agoDarbat 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...