SEP OS

Type	embedded operating system
Developer	Apple Inc.
Based on	L4 microkernel family
Platforms	Secure Enclave

Sources: Wikidata (CC0) · Wikidata Q65476375