seL4 Foundation
Computer Software - , Missouri, United States
seL4 Foundation Employees
seL4 Foundation Details
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:
http://www.sel4.systems
Employees:
5
HQ:
Location:
, Missouri, United States
Revenue:
seL4 Foundation Technologies
Load Balancers
Nginx
Domain Name Services
ZoneEdit
Analytics and Tracking
Google Analytics
Other
Mobile Friendly
CSS and JavaScript Libraries
Bootstrap Framework