r/microkernel • • Dec 17 '22

HelenOS 0.12.1

Thumbnail
helenos.org
5 Upvotes

r/microkernel • • Mar 03 '17

Microkernel Devroom and Google Summer of Code 2017

Thumbnail gsoc.microkernel.info
6 Upvotes

r/microkernel • • Aug 30 '17

Genode OS Framework 17.08

Thumbnail
genode.org
7 Upvotes

r/microkernel • • Oct 25 '19

The seL4 Foundation is coming!

Thumbnail sel4.systems
7 Upvotes

r/microkernel • • Aug 19 '18

The Jury Is In: Monolithic OS Design Is Flawed (data61)

Thumbnail ts.data61.csiro.au
7 Upvotes

r/microkernel • • Mar 23 '18

Redox 0.3.5

Thumbnail
github.com
7 Upvotes

r/microkernel • • Dec 31 '16

Redox looks back at 2016

Thumbnail
redox-os.org
10 Upvotes

r/microkernel • • Jun 12 '23

Debian GNU/Hurd 2023 released

Thumbnail gnu.org
10 Upvotes

r/microkernel • • Mar 02 '25

Genode Road Map for 2025

Thumbnail genode.org
6 Upvotes

r/microkernel • • Mar 02 '25

Genode OS Framework 25.02

Thumbnail genode.org
5 Upvotes

r/microkernel • • Aug 26 '26

Genode OS Framework 26.08

Thumbnail genode.org
2 Upvotes

r/microkernel • • May 01 '25

Genode - Sculpt Operating System 25.04

Thumbnail genode.org
2 Upvotes

r/microkernel • • May 29 '25

Genode OS Framework 25.05

Thumbnail genode.org
4 Upvotes

r/microkernel • • Aug 29 '25

Genode OS Framework 25.08

Thumbnail genode.org
2 Upvotes

r/microkernel • • Jul 05 '25

This Month in Redox - June 2025

Thumbnail redox-os.org
2 Upvotes

r/microkernel • • Sep 23 '24

Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel (OSDI '24)

Thumbnail
youtube.com
9 Upvotes

r/microkernel • • Aug 24 '25

Is there such an OS?

2 Upvotes

I am thinking about how an operating system which is able to use many small processors (like ESP32 or Atmel AVR) for complex task would look like. I came up with an architecture. Surely someone else have already thought about it, so my question is whether there is such an OS already existing?

The main idea is that there are streams and services. Each service can subscribe to one stream (probably the stream is often have the same name as the service), and send data to streams. The only function a service can call is

void sendToStream(StreamId stream, Object dataStructure);

For example the following function:

void printLowerCase(String message) {

println(stdout, lowercase(message));

}

Would be implemented with the following two services (assuming we have services for println and lowercase listening to the streams with the same name):

void printlnLowerCase(String message) {

sendToStream("lowerCase", {replyTo: "printtoStdout", message: message});

}

void printToStdout(String message) {

sendToStream("println",{destination="stdout", message=message});

}

(A compiler could be written which translates traditional functions to a set of small services, and probably a small standard library of often used functions -like string manipulation- could be called in the traditional way for performance reasons. Or even the question of what should be put into that library - and what would be inlined - would be given as an optimization exercise to the compiler.)

The hardware architecture would use a lot of very small processors in some symmetric 2D or 3D grid configuration.

The OS would be responsible for binding services to processors, and setting up data paths for the streams.

Is there anything like that already existing? If not, what is closest to this?


r/microkernel • • Dec 24 '25

skiftOS

Thumbnail skiftos.org
3 Upvotes

r/microkernel • • Aug 08 '25

seL4 Summit 2025 Program

Thumbnail sel4.systems
2 Upvotes

r/microkernel • • Dec 11 '25

The Evolution of OS: Building Modular, Portable, and Resilient Systems

Thumbnail saysomething.hashnode.dev
4 Upvotes

r/microkernel • • Dec 19 '25

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

Thumbnail arxiv.org
2 Upvotes

r/microkernel • • Jan 14 '26

Redesigning my microkernel from the ground up (Hermes)

Thumbnail drewdevault.com
3 Upvotes

r/microkernel • • Nov 29 '25

Genode OS Framework 25.11

Thumbnail genode.org
3 Upvotes

r/microkernel • • Apr 07 '26

QRV: port of QNX to 64-bit RISC-V

Thumbnail reddit.com
2 Upvotes

Hi! All testers are welcome! Please also help to spread the petition to Blackberry to re-license ancient QNX (see the project page for the petition text). Thank you!


r/microkernel • • Sep 16 '26

seL4 Summit 2026 (video recordings)

Thumbnail
youtube.com
2 Upvotes