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

seL4 Foundation

Org chart

Teams

Offices

Related companies