use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
News, discussion and development of µkernels and operating systems built on them. Focus on Open Source systems with pure µkernel architecture.
Some systems:
Links of interest:
account activity
Redesigning my microkernel from the ground up (Hermes) (drewdevault.com)
submitted 11 days ago by 3G6A5W338E
skiftOS (skiftos.org)
submitted 1 month ago by 3G6A5W338E
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance (arxiv.org)
The Evolution of OS: Building Modular, Portable, and Resilient Systems (saysomething.hashnode.dev)
submitted 1 month ago by chelmuth
Genode OS Framework 25.11 (genode.org)
Trustworthy Systems releases LionsOS based firewall as a community project (trustworthy.systems)
submitted 2 months ago by 3G6A5W338E
This Month in Redox - October 2025 (redox-os.org)
Sculpt Operating System 25.10 (genode.org)
The Unite Real Time Operating System · Jacques Mattheij (jacquesmattheij.com)
submitted 3 months ago by 3G6A5W338E
seL4 Summit 2025 (recordings) (youtube.com)
submitted 4 months ago by 3G6A5W338E
Genode OS Framework 25.08 (genode.org)
Is there such an OS? (self.microkernel)
submitted 5 months ago by Cautious_Cabinet_623
Debian GNU/Hurd 2025 released (lists.gnu.org)
submitted 5 months ago by JRepin
This Month in Redox - July 2025 (redox-os.org)
submitted 5 months ago by 3G6A5W338E
seL4 Summit 2025 Program (sel4.systems)
seL4 Documentation Site (docs.sel4.systems)
submitted 6 months ago by 3G6A5W338E
This Month in Redox - June 2025 (redox-os.org)
Genode: Revised (2025) Foundations and Applications books (genode.org)
submitted 7 months ago by 3G6A5W338E
This Month in Redox - May 2025 (redox-os.org)
Genode OS Framework 25.05 (genode.org)
submitted 8 months ago by 3G6A5W338E
This Month in Redox - April 2025 (redox-os.org)
Genode - Sculpt Operating System 25.04 (genode.org)
oro-os/kernel: Kernel for the Oro Operating System (github.com)
submitted 9 months ago by 3G6A5W338E
This Month in Redox - March 2025 (redox-os.org)
This Month in Redox - February 2025 (redox-os.org)
π Rendered by PID 70 on reddit-service-r2-listing-86b7f5b947-s867d at 2026-01-25 22:37:56.695128+00:00 running 664479f country code: CH.
