Statistics for topic microkernel

RepositoryStats tracks 633,949 Github repositories, of these 43 are tagged with the microkernel topic. The most common primary language for repositories using this topic is C (22).

Stargazers over time for topic microkernel

60605050404030302020101000202020202021202120222022202320232024202420252025

Most starred repositories for topic microkernel (view more)

redox-os
redox redox-os
933
15.4k
mit
602
Mirror of https://gitlab.redox-os.org/redox-os/redox
bsd gnu rust sel4 linux minix plan9 posix redox freebsd openbsd gnu-hurd microkernel open-source operating-system
Created 2015-04-20
3,967 commits to master branch, last one a day ago
RT-Thread
rt-thread RT-Thread
5.1k
10.9k
apache-2.0
527
RT-Thread is an open source IoT Real-Time Operating System (RTOS).
arm iot aiot mips rtos kernel risc-v cortex-a cortex-m real-time microkernel microcontroller embedded-systems
Created 2013-01-02
17,014 commits to master branch, last one a day ago
seL4
seL4 seL4
686
4.9k
other
204
The seL4 microkernel
os sel4 microkernel sel4-microkernel
Created 2014-07-18
4,683 commits to master branch, last one 23 hours ago
rcore-os
zCore rcore-os
215
1.8k
mit
56
Zircon microkernel reimplemented in Rust.
zircon microkernel
Created 2019-11-19
1,979 commits to master branch, last one 2 years ago
managarm
managarm managarm
83
1.7k
mit
30
Pragmatic microkernel-based OS with fully asynchronous I/O
x86-64 modern-cpp microkernel hacktoberfest asynchronous-io operating-system posix-compatible
Created 2016-07-11
5,102 commits to master branch, last one 2 days ago
HelenOS
helenos HelenOS
151
1.4k
unknown
58
A portable microkernel-based multiserver operating system written from scratch.
gui usb sound kernel tcp-ip drivers helenos multicore components microkernel multiserver operating-system
Created 2017-10-12
18,435 commits to master branch, last one 21 days ago

Trending repositories for topic microkernel (view more)

Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
RT-Thread
RT-Thread/rt-thread

RT-Thread is an open source IoT Real-Time Operating System (RTOS).

10,948 (+6)
apache-2.0
JonasKruckenberg
JonasKruckenberg/k23

Experimental WASM Microkernel Operating System

335 (+5)
apache-2.0
seL4
seL4/seL4

The seL4 microkernel

4,872 (+4)
managarm
managarm/managarm

Pragmatic microkernel-based OS with fully asynchronous I/O

1,661 (+2)
mit
redox-os
redox-os/redox

Mirror of https://gitlab.redox-os.org/redox-os/redox

15,365 (+2)
mit
Last 3 days (relative gain)
JonasKruckenberg
JonasKruckenberg/k23

Experimental WASM Microkernel Operating System

335 (+2%)
apache-2.0
managarm
managarm/managarm

Pragmatic microkernel-based OS with fully asynchronous I/O

1,661 (+0.1%)
mit
fenwii
fenwii/OpenHarmony

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

1,098 (+0.1%)
mit
seL4
seL4/seL4

The seL4 microkernel

4,872 (+0.1%)
RT-Thread
RT-Thread/rt-thread

RT-Thread is an open source IoT Real-Time Operating System (RTOS).

10,948 (+0.1%)
apache-2.0
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
RT-Thread
RT-Thread/rt-thread

RT-Thread is an open source IoT Real-Time Operating System (RTOS).

10,948 (+16)
apache-2.0
JonasKruckenberg
JonasKruckenberg/k23

Experimental WASM Microkernel Operating System

335 (+15)
apache-2.0
redox-os
redox-os/redox

Mirror of https://gitlab.redox-os.org/redox-os/redox

15,365 (+12)
mit
maxdev1
maxdev1/ghost

Ghost, a micro-kernel based hobby operating system.

618 (+8)
gpl-3.0
seL4
seL4/seL4

The seL4 microkernel

4,872 (+8)
Last week (relative gain)
JonasKruckenberg
JonasKruckenberg/k23

Experimental WASM Microkernel Operating System

335 (+5%)
apache-2.0
oro-os
oro-os/kernel

Kernel for the Oro Operating System

55 (+2%)
mpl-2.0
maxdev1
maxdev1/ghost

Ghost, a micro-kernel based hobby operating system.

618 (+1%)
gpl-3.0
fenwii
fenwii/OpenHarmony

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

1,098 (+0.5%)
mit
redox-os
redox-os/kernel

Mirror of https://gitlab.redox-os.org/redox-os/kernel

687 (+0.3%)
mit
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
RT-Thread
RT-Thread/rt-thread

RT-Thread is an open source IoT Real-Time Operating System (RTOS).

10,948 (+106)
apache-2.0
maxdev1
maxdev1/ghost

Ghost, a micro-kernel based hobby operating system.

618 (+49)
gpl-3.0
seL4
seL4/seL4

The seL4 microkernel

4,872 (+38)
redox-os
redox-os/redox

Mirror of https://gitlab.redox-os.org/redox-os/redox

15,365 (+31)
mit
managarm
managarm/managarm

Pragmatic microkernel-based OS with fully asynchronous I/O

1,661 (+23)
mit
Last month (relative gain)
ventZl
ventZl/cmrx

Microkernel-based realtime operating system for microcontrollers

57 (+10%)
mit
maxdev1
maxdev1/ghost

Ghost, a micro-kernel based hobby operating system.

618 (+9%)
gpl-3.0
JonasKruckenberg
JonasKruckenberg/k23

Experimental WASM Microkernel Operating System

335 (+6%)
apache-2.0
oro-os
oro-os/kernel

Kernel for the Oro Operating System

55 (+4%)
mpl-2.0
kernkonzept
kernkonzept/l4re-core

The core components of the L4Re operating system.

85 (+2%)
gpl-2.0
Last 12-months (new repositories)
lux-operating-system
lux-operating-system/kernel

Portable asynchronous microkernel with multiprocessor priority scheduling and Unix-like abstractions

172
mit
fosd-project
fosd-project/FOSD

Framework of Operating System Development

106
apache-2.0
Last 12-months (absolute gain)
RT-Thread
RT-Thread/rt-thread

RT-Thread is an open source IoT Real-Time Operating System (RTOS).

10,948 (+1,500)
apache-2.0
redox-os
redox-os/redox

Mirror of https://gitlab.redox-os.org/redox-os/redox

15,365 (+534)
mit
seL4
seL4/seL4

The seL4 microkernel

4,872 (+373)
managarm
managarm/managarm

Pragmatic microkernel-based OS with fully asynchronous I/O

1,661 (+366)
mit
fenwii
fenwii/OpenHarmony

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

1,098 (+355)
mit
Last 12-months (relative gain)
JonasKruckenberg
JonasKruckenberg/k23

Experimental WASM Microkernel Operating System

335 (+1,055%)
apache-2.0
horizon2038
horizon2038/A9N

A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.

33 (+313%)
mit
ventZl
ventZl/cmrx

Microkernel-based realtime operating system for microcontrollers

57 (+128%)
mit
oro-os
oro-os/kernel

Kernel for the Oro Operating System

55 (+104%)
mpl-2.0
nanvix
nanvix/nanvix

Microkernel-Based Research Operating System

155 (+61%)
mit