Skip to main content
buildradar
Sign in
Topic · microkernel

microkernel

Tracked open-source repos tagged microkernel, sorted by stars.

Repos
16
Total stars
57,710
Avg. stars
3,607
Share
0.00%

Topics that frequently appear alongside microkernel on the same repo.

Recent risers

Repos created in the last 90 days, tagged microkernel.

No new repos tagged with this topic in the last 90 days.

  • redox@redox-os

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

    16,541+16Star change over the last 7 days
  • rt-thread@RT-Thread

    RT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/

    12,176+13Star change over the last 7 days
  • astrid@astrid-runtime

    Astrid is a portable, capability-secure operating system for composable software.

    10,273+3Star change over the last 7 days
  • seL4@seL4

    The seL4 microkernel

    5,722+18Star change over the last 7 days
  • managarm@managarm

    Pragmatic microkernel-based OS with fully asynchronous I/O

    1,970+4Star change over the last 7 days
  • zCore@rcore-os

    Zircon microkernel reimplemented in Rust.

    1,778+2Star change over the last 7 days
  • helenos@HelenOS

    A portable microkernel-based multiserver operating system written from scratch.

    1,584+4Star change over the last 7 days
  • 华为鸿蒙分布式操作系统(Huawei HarmonyOS,纯血鸿蒙Harmony Next ),开源鸿蒙分布式操作系统( OpenHarmony)开发技术交流,最全鸿蒙技术资料库,手册,指南,共建国产操作系统万物互联新生态。

    1,379+3Star change over the last 7 days
  • brutal@brutal-org

    🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering

    1,111Star change over the last 7 days
  • kernel@redox-os

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

    903+3Star change over the last 7 days
  • FreeNOS@nieklinnenbank

    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.

    880+0Star change over the last 7 days
  • WingOS@Supercip971

    a little 64bit microkernel based operating system written in c++ with smp support

    768-3Star change over the last 7 days
  • f9-kernel@f9micro

    An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4

    763+1Star change over the last 7 days
  • k23@JonasKruckenberg

    Experimental WASM Microkernel Operating System

    650+0Star change over the last 7 days
  • ghost@maxdev1

    Ghost, a micro-kernel based hobby operating system.

    649+0Star change over the last 7 days
  • resea@nuta

    A microkernel-based hackable operating system.

    568+0Star change over the last 7 days
← Back to topics