Hacker Mar 3
Es gracioso, resulta que #Nintendo lleva utilizando desde la #3DS un #microkernel en sus consolas.
Nicolas MØUARTFeb 23

I have never heard of this POSIX OS. It's based on a microkernel.

"INTEGRITY-178B is the DO-178B–compliant version of INTEGRITY. It is used in several military jets such as the B-2,[2] F-16, F-22, and F-35, and the commercial aircraft Airbus A380." (wikipedia)

#OS #microkernel

https://www.ghs.com/products/rtos/integrity.html

N-gated Hacker NewsJan 17
Introducing Xous: the world's most exciting #microkernel for #embedding your #dreams into “medium” devices! 🤖✨ Dive into #userspace #messaging wonders, because, who needs a simple, straightforward OS anyway? 📚🧐 Funded by Europe's finest to revolutionize the way we...well, forget it ever existed. 😂💰
https://xous.dev/ #Xous #tech #revolution #HackerNews #ngated
Xous Operating System

Xous is a microkernel operating system designed for medium embedded systems with clear separation of processes. Nearly everything is implemented in userspace, where message passing forms the basic communications primitive.

Show threadhttps://purl.org/rzr#Jan 8
https://fosdem.org/2026/fringe/# I am wondering if there is any #community side event like a dinner about #virtualization / #containers / #isolation / #cloud / #microkernel ? any hint @gyptazy from
#Proxmox community ?
FOSDEM 2026 - Fringe

Hack in Days of Future PastDec 29
Just presented at #39C3: Xous by Bunnie Huang & Sean Cross. A pure-Rust microkernel on RISC-V with a real MMU, strong isolation, and quasi-open silicon. Finally a usable embedded security stack, from hardware to OS.
#Rust #RiscV #EmbeddedSecurity #OpenHardware #IoT #Microkernel https://media.ccc.de/v/39c3-xous-a-pure-rust-rethink-of-the-embedded-operating-system#t=25
Xous: A Pure-Rust Rethink of the Embedded Operating System

media.ccc.de
jbzDec 22

🎉 Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance

｢ LionsOS, an operating system for security- and safety-critical embedded systems. LionsOS is based on the formally verified seL4 microkernel and designed with verification in mind. It uses a static architecture and features a highly modular design driven by strict separation of concerns and a focus on simplicity ｣

https://arxiv.org/html/2501.06234v2

#lionos #microkernel #osdev #opensource

Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance

JAVAPRODec 17

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: https://javapro.io/2025/08/14/demystifying-software-architecture-styles-patterns-part-1/

#DevOps @Firefox @thoughtworks

Martin DěckýNov 11
The latest pre-release of 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
Martin DěckýNov 10
Call for Participation: Microkernel and Component-Based OS Devroom at FOSDEM 2026
https://fosdem.microkernel.info/
#microkernel #fosdem
Microkernel and Component-Based OS Devroom at FOSDEM 2026

Call for Participation

Martin DěckýNov 6
HarmonyOS NEXT (a microkernel-based OS) running on a Huawei's laptop and smartphone. The user experience is absolutely flawless. #microkernel #desktop #smartphone