SEOS is totally unique in that it is provably secure. It is based on the seL4 microkernel, the world’s first and still only general-purpose OS kernel with a mathematical proof of bug-free implementation extending all the way to machine code, and mathematical proofs of enforcement of security-relevant isolation. Being based on this rock-solid foundation, SEOS inherits seL4’s provable security and, unlike any other OS, can guarantee system security.
In contrast to other security-oriented operating systems, SEOS has an uncompromising performance-oriented design and implementation – we do not trade security for performance. SEOS supports cost-effective integration into existing design through virtualisation and support for industry-standard OS APIs.
SEOS is available on third-party processors, or as part of a fully integrated system on SE hardware.