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.
Company Details
- Employees
- 8
- Founded
- -
- Address
- Everywhere!, Oo
- Industry
- Software Development
- NAICS
-
Software Publishers
- Website
- https://sel4.systems/Foundation
- Keywords
- Sydney.
- HQ
- Everywhere!
Sel4 Foundation Questions
Sel4 Foundation's website is https://sel4.systems/Foundation
Sel4 Foundation's LinkedIn profile is https://www.linkedin.com/company/sel4
Sel4 Foundation has
8 employees.
View email and phone details for 8
employees at Sel4 Foundation.
Sel4 Foundation's industry is
Software Development
Sel4 Foundation's top competitors are
Proofcraft,
Kry10,
Hub24 Limited,
Sunswift Racing,
Vivcourt Trading,
Neutrality,
Prospa,
Genode Labs,
Imc Trading,
Unsw Computer Science And Engineering.
Sel4 Foundation's categories are Software Development
Sel4 Foundation's founding year is 2020
