3 ms·
The L4 microkernel is currently being used by Apple in the secure enclave. See https://support.apple.com/en-us/HT209632 https://support.apple.com/en-us/HT20963
by zitterbewegung 7y ago
The L4 microkernel is currently being used by Apple in the secure enclave.
See https://support.apple.com/en-us/HT209632 https://support.apple.com/en-us/HT209632
- harry8 7y agoLooks interesting. My former colleagues worked on porting osx to l4 more than a decade ago. That still doesn't look like a microkernel based, multi server os to me and does not claim to exhibit those of touted advantages. This reminds me more of dresdens live demo cd from about 2006. Great stuff, but more of a virtualisation layer than an os. I'd like to see it stand up.
- anyfoo 7y agoJust out of curiosity, are you saying you don’t think the OS running on the Secure Enclave processor (which is separate from the main OS) looks like a multi server microkernel, or are you still referring to the osx on L4 Experiment you mentioned?
- carapace 7y agoAnd General Dynamics[1] bought OK Labs[2] in 2012, so presumably OKL4 or a descendant is in use there, eh? (In addition to "over 2 billion mobile phones".) [1] https://en.wikipedia.org/wiki/General_Dynamics https://en.wikipedia.org/wiki/General_Dynamics [2] https://en.wikipedia.org/wiki/Open_Kernel_Labs https://en.wikipedia.org/wiki/Open_Kernel_Labs