#Microkernel

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

Discover the security advantages in a #microkernel architecture. Check out this blog from BlackBerry @QNX_News. #QNX_Platform @ipfconline1 @YvesMulkers @kuriharan @rtehrani @Derek_Harp

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

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

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

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

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

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

Today's complex IoT applications carry a risk of potential cyber-attacks that can target multiple system components. Here, @antmicro shows how to use @renodeio to build @risc_v systems for your IoT devices on the secure and open source #seL4 #microkernel

Get RT-Thread Smart #MicroKernel OS running on #RaspberryPI4B and port #LVGL into the RT-Smart user-mode program. Making it easy to develop applications, and built with safety. @Raspberry_Pi @ThePracticalDev @TheHackersNews @embedded_comp @opensourceway @cnxsoft @IoTNow_

RT-Smart offers engineers with a #microkernel operating system to aim primarily at midrange to high-end processors such as RISC-V or Arm Cortex-A that with a memory management unit (MMU). Watch more details on: #opensource #embedded #RISCV #Arm #MMU

A9N modular Microkernel would be perfect for modular Oniro (OpenHarmony) KAL as a custom kernel add-on for lightweight smart things and embedded uses. Successor to Fuchsia Zircon SeL4 fork gen. #A9N #Microkernel #KAL #HAL #Oniro #OpenHarmony

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

You know what? It's based on #microkernel 😉 #huawei #Harmony #emui #Android10

Resilience, fault tolerance, scalability—every style, from layered to #Microkernel, balances performance, agility & maintainability differently. Mahendra Rao Bandaru maps the trade-offs shaping the software we rely on. Read: #DevOps @firefox @thoughtworks

🔥 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

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 👉

Find out why a #microkernel is inherently more secure, safer, and more reliable than a #monolithickernel. A blog from BlackBerry @QNX_News. #QNX_Platform @Lago72 @ingliguori @FRonconi @EvanKirstel @InsightBrief

How does Cyber Immunity works in practice? We explain the concept of a microkernel. How does it relates to the principle of minimizing the trusted code base (TCB)? #cyberimmunity #kasperskyos #microkernel

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