SEL4

seL4 is a high-assurance, high-performance operating system microkernel. It is unique because of its comprehensive formal verification, without compromising performance. It is meant to be used as a trustworthy foundation for building safety- and security-critical systems. It is available as open source on GitHub and supported by the seL4 Foundation... Being a kernel means it is the piece of software that runs at the heart of any software system and controls all accesses to resources. It provides fine-grained access control through capabilities, and controls communication between components of the system. It is the most critical part of the software system, and runs in privileged mode... For trademark usage guidelines, privacy and cookie policies, and other applicable policies, as well as terms and conditions governing this web site, please see www.lfprojects.org and the trademark guidelines.

Also known as: seL4 Foundation