sepOS

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