#microkernel (12 Repositories)
Ranked open-source repositories tagged with #microkernel, scored by pull request acceptance likelihood and maintainer engagement velocity.
25.6%
11.6h
12 repositories tagged #microkernel
nanvix/nanvix
Lightweight Sandbox Powered by a Purpose-Built VM and OS
managarm/managarm
Pragmatic microkernel-based OS with fully asynchronous I/O
astrid-runtime/astrid
Astrid is a portable, capability-secure operating system for composable software.
thrashr888/agentkernel
Run AI coding agents in secure, isolated microVMs. Sub-125ms boot times, real hardware isolation.
redox-os/redox
Mirror of https://gitlab.redox-os.org/redox-os/redox
redox-os/kernel
Mirror of https://gitlab.redox-os.org/redox-os/kernel
udosteinberg/NOVA
NOVA Microhypervisor
kernkonzept/fiasco
The development version of the L4Re Microkernel
Supercip971/WingOS
a little 64bit microkernel based operating system written in c++ with smp support
maxdev1/ghost
Ghost, a micro-kernel based hobby operating system.
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.