sepOS

Firmware Secure Enclave, berdasarkan versi mikrokernel L4 khusus Apple.