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
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...
for securitysel4microkerneloptimizedgets
https://www.itnews.com.au/tag/sel4
sel4 - iTnews - Page 1 of 1
Breaking sel4 news, analysis and opinion, tailored for Australian CIOs, IT managers and IT professionals.
page 1sel4itnews
https://docs.sel4.systems/
The seL4 Documentation Site | seL4 docs
documentation sitesel4docs
https://www.unsw.edu.au/research/hdr/our-projects/sel4-microkernel-and-sel4-based-systems
seL4 Microkernel and seL4-based Systems
sel4microkernelbasedsystems
https://sel4.discourse.group/
seL4 - microkernel trustworthy systems
Discussion hub for building high assurance systems with seL4.
sel4microkerneltrustworthysystems
https://www.itnews.com.au/news/data61-linux-foundation-launch-sel4-open-source-foundation-546202
Data61, Linux Foundation launch seL4 open source foundation - iTnews
To accelerate seL4 microkernel developments.
linux foundationopen sourcedata61launchsel4