M

microkernel

E-OS - a modern, memory-safe microkernel OS in Rust. A hardened AGPL-3.0 downstream of Redox OS.

Microkernel for MCUs. Implements memory management, mutlitasking, IPC and synchronization objects.

A KeyKOS-style microkernel

A microkernel and operating system written in Java