Programme interne du Secure Enclave, qui repose sur une version personnalisée par Apple du micronoyau L4.