Robuta

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