sepOS

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