4 ms·

Darbat seems to be what's running in the Secure Enclave of the iPhone. Or at least something like it. https://www.blackhat.com/docs/us-16/materials/us-16-Mandt

Darbat seems to be what's running in the Secure Enclave of the iPhone. Or at least something like it. 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... Pretty darned awesome. Fiasco is GREAT. You at least used to be able to run it with DROPS which had a cool desktop/demo disk where you could just launch a bunch of Debian Linux instances as L4 tasks. It was like VMWare on crack at the time when I tried it. I think FiascoUX might still exist... you can run Fiasco as a userspace process on linux then run linux in ... oh I've gone cross-eyed..

atombender 8y ago
The Secure Enclave runs a customized version of L4Ka::Pistachio, apparently. Different codebase (Pistachio is C++, for example), same origin.
nickpsecurity 8y ago
DROPS is still available here: http://demo.tudos.org/eng_about.html http://demo.tudos.org/eng_about.html It was one, cool-ass demo. I especially liked firing up VM's lightening-fast given I was reading people say they use containers since VM's are too slow and inefficient. Maybe the people building their favorite VM's just aren't good at efficiency. Build on L4/L4Linux instead. ;)