linux rust open-source freebsd openbsd redox posix operating-system bsd plan9 gnu microkernel sel4 minix gnu-hurd
-
Updated
Oct 17, 2025 - Shell
#
microkernel
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 221 public repositories matching this topic...
Language: All
Filter by language
Sort: Most stars
Sort options
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
-
Updated
Oct 16, 2025 - C
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
-
Updated
Feb 28, 2023 - Rust
Pragmatic microkernel-based OS with fully asynchronous I/O
-
Updated
Oct 14, 2025 - C++
A portable microkernel-based multiserver operating system written from scratch.
components gui kernel usb sound multiserver operating-system drivers microkernel tcp-ip multicore helenos
-
Updated
Oct 15, 2025 - C
华为鸿蒙分布式操作系统(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
-
Updated
Jul 1, 2025 - C
Genode OS Framework
linux arm framework cplusplus cpp virtualization hypervisor osdev operating-system riscv goa x86 nova microkernel sel4 genode object-capabilities sculpt-os
-
Updated
Oct 14, 2025 - C++
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
-
Updated
Mar 29, 2023 - C
🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
-
Updated
Aug 22, 2023 - C
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.
-
Updated
Mar 23, 2021 - C++
-
Updated
Oct 14, 2025 - Rust
a little 64bit microkernel based operating system written in c++ with smp support
-
Updated
Oct 16, 2025 - C++
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
-
Updated
Jan 1, 2020 - C
Ghost, a micro-kernel based hobby operating system.
-
Updated
Apr 14, 2025 - C
Experimental WASM Microkernel Operating System
-
Updated
Oct 17, 2025 - Rust
NOVA Microhypervisor
security performance kernel cplusplus x86-64 virtualization hypervisor aarch64 microkernel microhypervisor
-
Updated
Aug 31, 2025 - C++
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
-
Updated
Dec 2, 2019 - Rust
- Followers
- 240 followers
- Website
- github.com/topics/kernel
- Wikipedia
- Wikipedia