sepOS

Die Secure Enclave-Firmware basierend auf einer von Apple angepassten Version des L4-Microkernel.