sepOS

Secure Enclave-firmwaren, der er baseret på en Apple-tilpasset version af L4-mikrokernen.