sepOS

O firmware do Secure Enclave, baseado na versão do microkernel L4 personalizado pela Apple.