redox-os / redox

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

RT-Thread / rt-thread

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

astrid-runtime / astrid

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

seL4 / seL4

The seL4 microkernel

managarm / managarm

Pragmatic microkernel-based OS with fully asynchronous I/O

HelenOS / helenos

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

betrusted-io / xous-core

The Xous microkernel

redox-os / kernel

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

Supercip971 / WingOS

a little 64bit microkernel based operating system written in c++ with smp support

JonasKruckenberg / k23

Experimental WASM Microkernel Operating System

seL4 / l4v

seL4 specification and proofs

Apeireth / Apeireth

Apeireth — a digital companion that grows with you. Pure Safe Rust AGI cognitive microkernel: memory that fades like a person's, human approval before every side effect, honest boundaries. 31-member workspace (30 crates + 1 bench).

ZZX2012 / ZZXOS

ZZX OS is a minimal microkernel written in 16-bit x86 assembly (Intel syntax, NASM) for bare-metal x86 architecture. Running directly in Real Mode without OS or C runtime dependencies, it integrates an MBR bootloader, POST engine, animated boot logo, TUI dual-pane shell, and a VGA Mode 13h 3D wireframe graphics engine.

rootkiller6788 / dsh-flow

A pluginized microkernel architecture for building, orchestrating, and extending multi-agent systems in DeepSeek Harness.