Hacker News Reader

Apple’s Secure Enclave Processor?

Citation: 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/

They hired a ton of UNSW graduates who had worked on L4 around that time.

Was at UNSW recently, can confirm that apple doing special L4 stuff right now.

Nice! 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.

This(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/

2) https://genode.org/download/sculpt

I 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.

Reply on news.ycombinator.com