sepOS

El firmware de Secure Enclave se basa en una versión del microkernel L4 personalizada por Apple.