sepOS

Il firmware di Secure Enclave, basato su una versione personalizzata da Apple del microkernel L4.