#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. 👉

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

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

🔥 BIG NEWS! 🔥 A9NLoader-rs, the Rust bootloader for the A9N Microkernel, is now fully functional! 🚀 Check it out and get started here: #Rust #Bootloader #Microkernel #OpenSource #A9N

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

HarmonyOS NEXT (based on the HongMeng Microkernel) running on Huawei Mate 60 Pro (hardware originally released in 2023). Sorry for the pointless demo, it was during a social event and I didn't want to play alone with a phone in the corner 😅 #microkernel #smartphone #harmonyos

[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

HarmonyOS NEXT (a microkernel-based OS) running on a Huawei's laptop and smartphone. The user experience is absolutely flawless. #microkernel #desktop #smartphone #harmonyos

In January, I've presented a lightning talk reviewing a few amazing events in the domain of microkernel-based operating systems in 2024. Let's hope that 2025 will be even better. Did I miss anything important? #microkernel #operating #systems

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

Exciting news for those looking for a secure software platform: seL4 proven on RISC-V! seL4 provably enforces information flow control, when it is correctly configured to do so: #seL4 #Microkernel #OpenSource

The “CIA" triade is done for #seL4 on RISC-V! After integrity and availability, Ryan Barry @UNSW has now finished the information-flow proof, implying confidentiality enforcement #riscv #cyber #security

Hima Mullamangalam has joined the #RISCV Mentorship Program! Together, we’ve been working on the RT-SMART #opensource #microkernel os running on the #RISCV64 platform. Don’t miss out on this opportunity to learn from Hima - join us at #embedded #rtos

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 👉

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

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

#microkernel based #mobileos #symbian and #blackberry10 #qnx with best of feature and #osarchitecture #failedmiserably, #symbian was ahead of time and #qnx was behind, still they #theoretically had/have the best #osarchitecture , #nokia and #blackberry both were #BIG, reason?

What are microkernel operating systems, how have they evolved, and why are they so vital today? Watch the full video ⇒ #MicroKernel #CyberImmunity #KasperskyOS #Technology

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

NOVA microhypervisor status update talk by @udosteinberg in the microkernel devroom at @fosdem. #microkernel #hypervisor

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