microkernel

Star

A kernel is the heart of almost every operating system. It is always loaded in memory at any time and deals with the hardware to provide an interface for the software. It also manages peripherals, memory, interrupts, and processes. Examples of widely used kernels include Windows NT and Linux.

Here are 223 public repositories matching this topic...

Language:All

Filter by language

All223 C94 C++38 Rust31 Java6 JavaScript6 Assembly5 C#4 Shell4 PHP3 Python2

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

redox-os /redox

Star15.7k

Mirror ofhttps://gitlab.redox-os.org/redox-os/redox

linux rust open-source freebsd openbsd redox posix operating-system bsd plan9 gnu microkernel sel4 minix gnu-hurd

UpdatedOct 13, 2025
Shell

RT-Thread /rt-thread

Star11.5k

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

iot arm real-time microcontroller kernel cortex-m mips embedded-systems microkernel rtos risc-v cortex-a aiot

UpdatedOct 13, 2025
C

seL4 /seL4

Star5.1k

The seL4 microkernel

os microkernel sel4 sel4-microkernel

UpdatedOct 10, 2025
C

nebulet /nebulet

Star2.3k

A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.

rust webassembly osdev operating-system microkernel nebulet

UpdatedFeb 28, 2023
Rust

managarm /managarm

Star1.8k

Pragmatic microkernel-based OS with fully asynchronous I/O

x86-64 modern-cpp operating-system microkernel hacktoberfest posix-compatible asynchronous-io

UpdatedOct 13, 2025
C++

rcore-os /zCore

Star1.8k

Zircon microkernel reimplemented in Rust.

microkernel zircon

UpdatedApr 15, 2024
Rust

HelenOS /helenos

Star1.5k

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

components gui kernel usb sound multiserver operating-system drivers microkernel tcp-ip multicore helenos

UpdatedOct 11, 2025
C

fenwii /OpenHarmony

Star1.3k

华为鸿蒙分布式操作系统（Huawei HarmonyOS，纯血鸿蒙Harmony Next ），开源鸿蒙分布式操作系统（ OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。

linux harmony iot ai kernel maps architecture sensor os operating-system microkernel huawei hisilicon v2x development-tools 5g harmonyos openharmony wearabledevice harmonyos-next

UpdatedJul 1, 2025
C

genodelabs /genode

Star1.2k

Genode OS Framework

linux arm framework cplusplus cpp virtualization hypervisor osdev operating-system riscv goa x86 nova microkernel sel4 genode object-capabilities sculpt-os

UpdatedOct 13, 2025
C++

SmallPond /MIT6.828_OS

Star1.1k

MIT 6.828 Operating System Labhttps://pdos.csail.mit.edu/6.828/2018/schedule.html

mit xv6 microkernel jos opreating-systems

UpdatedMar 29, 2023
C

brutal-org /brutal

Star1.1k

🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering

c kernel osdev operating-system microkernel hobby-os modern-c

UpdatedAug 22, 2023
C

nieklinnenbank /FreeNOS

Star875

FreeNOS (Free Niek's Operating System) is an experimental microkernel based operating system for learning purposes written in C++. You may use the code as you wish under the terms of the GPLv3.

raspberry-pi c-plus-plus arm raspberrypi intel operating-system microkernel