Hacker News new | ask | show | jobs
by saagarjha 1784 days ago
The Secure Enclave runs a custom L4 derivative, rather than seL4.