#microkernel

New series: Building a #MicroKernel in #Rust 🔧 Had some downtime between roles, so I wrote an OS from scratch. On bare metal ARM. As you do. Part 0 is live - from zero to virtual memory. 👉

After some time of neglect, I've finally done a major update of the list of open-source microkernel-based OSes at It shows that we have a very lively community. #microkernel #foss #oss #os

Call for Participation: Microkernel and Component-Based OS Devroom at FOSDEM 2026 #microkernel #fosdem

What is a #microkernel? As the foundation of the Cyber Immune operating system of the future, there's a lot to them. What are the limitations? Are there different types? What makes it the backbone of a reliable OS? We've got you covered 👉

Virtual microkernel meetup on June 16th / 20:00! Join us for a talk by @hrniels on "M³: Taking Microkernels to the Next Level". Find more details here: #osdev #microkernel #l4

What is a #microkernel? As the foundation of the Cyber Immune operating system of the future, there's a lot to them. What are the limitations? Are there different types? What makes it the backbone of a reliable OS? We've got you covered 👉

Another tradition resurrected. Many thanks to @CyberusTech for organizing the Mikrokernstammtisch in Dresden after so many years! The photo from their offices illustrates that everyone is working in AI now 😉 #microkernel #meetup

Monolithic ou microkernel : performance brute ou isolation maximale ? ⚖️ Un choix d’architecture qui influence sécurité, latence, stabilité et toute la philosophie d’un OS. #kernel #linux #microkernel #os #techatace

HongMeng Kernel #Microkernel #HongMengKernel

A 14-year tradition goes on: There will be a Microkernel and Component-Based OS Devroom at FOSDEM 2025 (@FOSDEM), this time kindly organized by Udo Steinberg (@udosteinberg). Please see the CfP: #microkernel #fosdem

Are you ready for @FOSDEM? 🙂 #fosdem #online #microkernel #devroom

Are we witnessing the rise of #microkernel #operatingsystems for #smartdevices?👨‍💻 Discover how this innovative #technology is revolutionizing the way our devices work 👇

Because I can't attend FOSDEM this year, I wrote down some thoughts about the microkernel community. #fosdem #microkernel

Cell OS is a boot to proof microkernel for x86_64 and ARM64. If you are interested read the book and the source tree. #SystemsProgramming #Microkernel #OSDev #LowLevel #Programming #BareMetal

❓ DID YOU KNOW that the latest release of the #QNX #microkernel, QNX® SDP 8.0, has numerous improvements that make it particularly suited to HPC applications and HPC-based systems in key areas? Don't just take our word for it—Start your free trial today:

TinyCore Linux has successfully booted on Alter/Linux, which is a User-level Linux Runtime on Nanami OS! 🐧🚀✨ #A9N #Microkernel #NanamiOS #osdev

The schedule of the Microkernel and Component-based OS devroom at @FOSDEM is now public. #microkernel

What are microkernel operating systems, how have they evolved, and why are they so vital today? Check it out 👇 #microkernel #cyberimmunity #kasperskyOS #technology

Are we witnessing the rise of #microkernel #operatingsystems for #smartdevices?👨‍💻 Discover how this innovative #technology is revolutionizing the way our devices work ⬇️

[Updated slides with typos fixed] Interested in what is happening in the microkernel OS landscape in 2023? Here are the slides from my @fosdem talk: #fosdem #fosdem23 #microkernel #devroom