The seL4 Foundation is a non-profit organisation supporting the open-source seL4 microkernel and its ecosystem. The seL4 microkernel is the world's first general-purpose operating-system kernel with a formal, machine-checked proof of implementation correctness, originally on Arm, now also on x86 and RISC-V processors. seL4 is still the only formally-verified operating system with fine-grained, capability-based access control, it has proofs of security enforcement, and besides all this is the world's fastest microkernel.
| Website | https://sel4.systems/Foundation |
| Employees | 7 (0 on RocketReach) |
| Founded | 2020 |
| Industry | Software Development |
| Keywords | Operating Systems, Formal Verification, Open Source Software, Kernel Development, Embedded Systems, Cybersecurity, Software Security, Formal Methods, System Software, Secure Systems, Real-Time Systems, Dependable Systems, Software Engineering, System Design, Critical Infrastructure, Software Ecosystem |
| Competitors | Google, Microsoft, Apple, IBM, Intel Corporation, Red Hat, Amazon, NVIDIA, Wind River, Oracle +43 more (view full list) |
Looking for a particular seL4 Foundation employee's phone or email?
seL4 Foundation Questions
Related Companies
G2Crowd Trusted
300K+
Plugin Users
