Citation: https://support.apple.com/en-gb/guide/security/sec59b0b31ff/web "The S... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		rgovostes on Sept 16, 2024 \| parent \| context \| favorite \| on: Ask HN: What runs L4-related microkernels/hypervis... 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/

gaze on Sept 16, 2024 [–]

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

isubasinghe on Sept 17, 2024 | [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact