sepOS

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