7 ms·
Apple’s Secure Enclave Processor?
by saagarjha 2y ago
Apple’s Secure Enclave Processor?
- rgovostes 2y agoCitation: https://support.apple.com/en-gb/guide/security/sec59b0b31ff/web https://support.apple.com/en-gb/guide/security/sec59b0b31ff/... "The Secure Enclave Processor runs an Apple-customised version of the L4 microkernel." From the rumor mill morgue, back in 2006 there was some speculation about macOS, err, Mac OS X transitioning to L4: https://arstechnica.com/staff/2006/06/4407/ https://arstechnica.com/staff/2006/06/4407/
- gaze 2y agoThey hired a ton of UNSW graduates who had worked on L4 around that time.
- isubasinghe 2y agoWas at UNSW recently, can confirm that apple doing special L4 stuff right now.
- AlexWandell 2y agoNice! Yeah, that's definitely modern enough. Do you know if it runs as a hypervisor in the Secure Enclave firmware? It seems like the processor itself is low-power enough that it might not have virtualization features.
- mech422 2y agoThis(1)(2) any good for ya? "Genode's microkernel architecture, capability-based security, sandboxed device drivers, and virtual machines in a novel operating system for commodity PC hardware and the PinePhone. Sculpt is used as day-to-day OS by the Genode developers. " 1) https://genode.org/ https://genode.org/ 2) https://genode.org/download/sculpt https://genode.org/download/sculpt
- saagarjha 2y agoI am pretty sure there is no hypervisor. I am pretty sure the processor supports EL2 but it doesn't get used for anything to my knowledge.