https://drewdevault.com/blog/helios/
The Helios microkernel
heliosmicrokernel
https://www.barkhauseninstitut.org/en/mikrorz-mikrokernels-for-secure-data-centers
Barkhausen Institut: MikroRZ: Secure Data Centers with Microkernel-Based Architectures
In MikroRZ, the Barkhausen Institut explores how microkernel-based systems can scale to enable secure, shared data storage in modern data centers across Europe.
secure datainstitutcentersmicrokernelbased
https://www.usenix.org/conference/fast25/presentation/liu-jing
Fast, Transparent Filesystem Microkernel Recovery with Ananke | USENIX
fasttransparentfilesystemmicrokernelrecovery
https://sel4.systems/
The seL4 Microkernel | seL4
sel4microkernel
https://drewdevault.com/blog/Hermes-from-the-ground-up/
Redesigning my microkernel from the ground up
ground upmicrokernel
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...
for securitylinux foundationsel4microkerneloptimized