sepOS

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