sepOS

The Secure Enclave firmware, based on an Apple-customized version of the L4 microkernel.