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.

seL4 Foundation

Org chart

Teams

Offices