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...See more
Headquarters:
Company Type:
SME
Company size:
1-10 Employees
Year Founded:
2020 (5 years)
Address:
EVERYWHERE!, OO
LOW
spending power