sepOS:

el firmware de Secure Enclave, basado en una versión personalizada por Apple del microkernel L4.