SepOS

sepOS, short for Secure Enclave Processor Operating System, is the name of the firmware contained on a separate, dedicated boot ROM for Apple's Secure Enclave. It is based on a customized version of the microkernel.