https://www.linuxfoundation.org/press/press-release/sel4-microkernel-optimized-for-security-gets-support-of-linux-foundation
seL4 Microkernel Optimized for Security Gets Support of Linux Foundation - Linux Foundation
Sep 13, 2022 - The seL4 microkernel is the world's first operating system (OS) kernel that is proved secure; it is designed to ensure the security, safety and reliability of...
sel4 microkernelfor securitysupport oflinux foundationoptimized
https://www.osnews.com/story/143878/lionsos-an-adaptable-os-based-on-the-sel4-microkernel/
LionsOS: an adaptable OS based on the seL4 microkernel – OSnews
based onsel4 microkerneladaptableos
https://sel4.systems/
The seL4 Microkernel | seL4
sel4 microkernel