Pragmatic microkernel-based OS with fully asynchronous I/O
-
Updated
May 15, 2026 - C++
#
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 38 public repositories matching this topic...
Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)
linux arm framework cplusplus cpp virtualization hypervisor osdev operating-system riscv goa x86 nova microkernel sel4 genode object-capabilities sculpt-os
-
Updated
May 20, 2026 - 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
Dec 30, 2025 - C++
NOVA Microhypervisor
security performance kernel cplusplus x86-64 virtualization hypervisor aarch64 microkernel microhypervisor
-
Updated
Apr 30, 2026 - C++
Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
-
Updated
Jul 23, 2025 - C++
The development version of the L4Re Microkernel
-
Updated
May 21, 2026 - C++
Framework of Operating System Development
-
Updated
Aug 26, 2024 - C++
The core components of the L4Re operating system.
-
Updated
May 21, 2026 - C++
🦠 µnix is a UNIX-like operating system
c raspberry-pi microcontroller kernel assembly osdev operating-system unix-like microkernel cute-engineewing
-
Updated
Jun 10, 2021 - C++
Capability-based 3rd-generation Microkernel/Microhypervisor with High-speed IPC Mechanism.
-
Updated
May 20, 2026 - C++
A hobbyist operating system created from scratch ⚙️. This is where I test my ✨ craziest ✨ operating system design ideas.
-
Updated
Dec 26, 2023 - C++
A research kernel written in modern C++.
-
Updated
Jan 25, 2022 - C++
A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.
-
Updated
Feb 23, 2020 - C++
NOVA Microhypervisor
security performance kernel cplusplus x86-64 virtualization hypervisor aarch64 microkernel microhypervisor
-
Updated
Apr 30, 2026 - C++
Main-live development for NeKernel (https://go.ne-app.eu/nesystem)
open-source c-plus-plus docs tools kernel cpp operating-systems microkernel frameworks nectar hybrid-kernel nekernel
-
Updated
May 19, 2026 - C++
Caprese is a microkernel that protects resources with capability-based security.
-
Updated
Feb 18, 2024 - C++
Embedded OS for IoT
-
Updated
May 12, 2021 - C++
- Followers
- 258 followers
- Website
- github.com/topics/kernel
- Wikipedia
- Wikipedia