sepOS

De Secure Enclave-firmware, gebaseerd op een door Apple aangepaste versie van de L4-microkernel.