#microkernel (21 Repositories)
Ranked open-source repositories tagged with #microkernel, scored by pull request acceptance likelihood and maintainer engagement velocity.
30.9%
12.8h
21 repositories tagged #microkernel
astrid-runtime/astrid
Astrid is a portable, capability-secure operating system for composable software.
nanvix/nanvix
Lightweight Sandbox Powered by a Purpose-Built VM and OS
managarm/managarm
Pragmatic microkernel-based OS with fully asynchronous I/O
Apeireth/Apeireth
Apeireth — A Pure Safe Rust AGI Operating System & Cognitive Microkernel. 18 crates: continuous topological memory, causal world model, cognitive scheduler, Ember HUD, triple-onion security & portable USB agent.
Apeireth/apeireth-rust
Apeireth — An AGI Operating System / LLM Base (Rust). 85 crates: companion organ, world model, curiosity, hypothesis testing, double-onion security.
JonasKruckenberg/k23
Experimental WASM Microkernel Operating System
thrashr888/agentkernel
Run AI coding agents in secure, isolated microVMs. Sub-125ms boot times, real hardware isolation.
Supercip971/WingOS
a little 64bit microkernel based operating system written in c++ with smp support
udosteinberg/NOVA
NOVA Microhypervisor
kernkonzept/fiasco
The development version of the L4Re Microkernel
kernkonzept/l4re-core
The core components of the L4Re operating system.
sorpaas/rux
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
maxdev1/ghost
Ghost, a micro-kernel based hobby operating system.
redox-os/kernel
Mirror of https://gitlab.redox-os.org/redox-os/kernel
redox-os/redox
Mirror of https://gitlab.redox-os.org/redox-os/redox
rcore-os/zCore
Zircon microkernel reimplemented in Rust.
brutal-org/brutal
🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
f9micro/f9-kernel
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
SmallPond/MIT6.828_OS
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
HelenOS/helenos
A portable microkernel-based multiserver operating system written from scratch.
nieklinnenbank/FreeNOS
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.