microkernel

rt-thread

+22

RT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/

seL4/seL4

+18

The seL4 microkernel

redox-os/redox

+20

Mirror of https://gitlab.redox-os.org/redox-os/redox

managarm

+3

Pragmatic microkernel-based OS with fully asynchronous I/O

astrid

+3

Astrid is a portable, capability-secure operating system for composable software.

helenos

+1

A portable microkernel-based multiserver operating system written from scratch.