Adhidarma Hadiwinoto Apr 22

IMHO #linux bisa seperti saat ini bukan karena diawali ingin menjadi sesuatu yang ideal tetapi justru karena pragmatisme.

Pd saat itu desain #microkernel #minix yg tdk monolithic dianggap sebagai mimpi indah idealisme sebuah #kernel. Tetapi Torvalds dan yang lain melihat banyak hal sangat ribet untuk diimpelmentasikan menggunakan desain microkernel, sehingga mereka memilih pragmatis.

Hingga lahir dan terus berkembanglah linux yang tidak ideal tapi bisa berevolusi menjadi seperti sekarang.

Michael EngelApr 21

Does anyone have a copy of Johannes Helander's 1994 Master thesis "Unix under Mach: The Lites Server"? I can't find it online...

#mach #microkernel #unix #osdev

13Apr 14
They Weren’t Joking: Gentoo WAS ported to GNU Hurd https://hackaday.com/2026/04/13/they-werent-joking-gentoo-was-ported-to-gnu-hurd/
#SoftwareDevelopment #Gentoo #Gnu #Hurd #Kernel #Microkernel
They Weren’t Joking: Gentoo WAS Ported To GNU Hurd

Long ago, in the aftermath of the UNIX wars, three kernels emerged from the rubble: BSD, Linux, and Hurd. BSD, being UNIX, was held back by legal wrangling in the aftermath of the wars, and that al…

Hackaday
Hackaday [Unofficial]Apr 14

They Weren’t Joking: Gentoo WAS ported to GNU Hurd

https://fed.brid.gy/r/https://hackaday.com/2026/04/13/they-werent-joking-gentoo-was-ported-to-gnu-hurd/

They Weren’t Joking: Gentoo WAS Ported To GNU Hurd

Long ago, in the aftermath of the UNIX wars, three kernels emerged from the rubble: BSD, Linux, and Hurd. BSD, being UNIX, was held back by legal wrangling in the aftermath of the wars, and that al…

Hackaday
ArchiveOSApr 3
Nova Operating System – a project web server. Nova (Nova is a recursive acronym for “Nova Offers Virtually no Applications”) is the effort to create a POSIX-like system on top of the rtmk (Real-Time Microkernel) microkernel. https://archiveos.org/nova-os/ #operatingsystem #microkernel
Hacker Mar 3
Es gracioso, resulta que #Nintendo lleva utilizando desde la #3DS un #microkernel en sus consolas.
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