sepOS: Ninja inside your Apple’s Devices
sepOS, the invisible guardian in every Apple device, powers secure unlocks, Touch ID, Face ID, and Apple Pay. Built on a custom L4 microkernel, it ensures blazing-fast, secure operations. Despite vulnerabilities like GoFetch, sepOS safeguards your data across Apple’s ecosystem.
Reference:
Secure Enclave - Apple Support
https://support.apple.com/en/guide/se...
sepOS - Apple Support
https://support.apple.com/en/guide/se...
The L4 microkernel family - Overview
https://os.inf.tu-dresden.de/L4/overv...
GoFetch
https://gofetch.fail/
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
• From L3 to seL4 what have we learnt in 20 ...