sepOS

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