sepOS

L4マイクロカーネルのAppleがカスタマイズしたバージョンに基づいたSecure Enclaveファームウェア。