sepOS

Die Firmware der Secure Enclave basiert auf einer von Apple angepassten Version des L4-Mikrokernels.