sepOS

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