seL4
sel4 Microkernel Optimized for Security Gets Support of Linux Foundation
seL4 foundation aims to accelerate the security, safety and reliability of any software system San Francisco, April 7, 2020 – The Linux Foundation, the nonprofit organization enabling mass innovation through open source, ...