sepOS

Secure Enclave ‑laiteohjelmisto, joka perustuu Applen muokkaamaan versioon L4-mikrokernelistä.