microkernel

There are 221 repositories under microkernel topic.

  • redox-os/redox

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

    Language:Shell15.7k5980952

  • RT-Thread/rt-thread

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

    Language:C11.5k5231.7k5.3k

  • seL4/seL4

    The seL4 microkernel

    Language:C5.1k199476726

  • nebulet/nebulet

    A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.

    Language:Rust2.3k1222773

  • managarm/managarm

    Pragmatic microkernel-based OS with fully asynchronous I/O

    Language:C++1.8k2735391

  • rcore-os/zCore

    Zircon microkernel reimplemented in Rust.

    Language:Rust1.8k5494214

  • HelenOS/helenos

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

    Language:C1.5k560158

  • fenwii/OpenHarmony

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

    Language:C1.3k356192

  • genodelabs/genode

    Genode OS Framework

    Language:C++1.2k775.5k261

  • SmallPond/MIT6.828_OS

    MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html

    Language:C1.1k54206
  • brutal

    brutal-org/brutal

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

    Language:C1.1k271542

  • 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.

    Language:C++8757861.3k

  • redox-os/kernel

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

    Language:Rust784510102
  • WingOS

    Supercip971/WingOS

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

    Language:C++76517722

  • f9micro/f9-kernel

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

    Language:C70310687148

  • maxdev1/ghost

    Ghost, a micro-kernel based hobby operating system.

    Language:C640313661
  • k23

    JonasKruckenberg/k23

    Experimental WASM Microkernel Operating System

    Language:Rust58477839

  • nuta/resea

    A microkernel-based hackable operating system.

    Language:C556174430

  • udosteinberg/NOVA

    NOVA Microhypervisor

    Language:C++425619112

  • sorpaas/rux

    A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.

    Language:Rust30614015

  • IsaacWoods/poplar

    Toy microkernel and userspace written in Rust, exploring modern ideas

    Language:Rust26311859

  • nuta/microkernel-book

    『自作OSで学ぶマイクロカーネルの設計と実装』サポートサイト

    Language:C2476029

  • Nils-TUD/Escape

    Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.

    Language:C++200281428
  • diosix

    diodesign/diosix

    A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V

    Language:Rust199101012

  • nanvix/nanvix

    Microkernel-Based Research Operating System Written in Rust

    Language:Rust189638898
  • kernel

    lux-operating-system/kernel

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

    Language:C182145

  • kwast-os/kwast

    Rust operating system running WebAssembly as userspace in ring 0

    Language:Rust1794235
  • mystikos

    microsoft/mystikos

    Tools and runtime for launching unmodified container images in Trusted Execution Environments

    Language:C1521829352

  • phoenix-rtos/phoenix-rtos-kernel

    Phoenix-RTOS microkernel repository

    Language:C149163244

  • kernkonzept/fiasco

    The development version of the L4Re Microkernel

    Language:C++146221034
  • codezero

    jserv/codezero

    Codezero Microkernel

    Language:C11215028

  • pok-kernel/pok

    POK kernel. Safe and secure for safety-critical systems.

    Language:C112172964

  • fosd-project/FOSD

    Framework of Operating System Development

    Language:C++107400

  • V01D-NULL/MoonOS

    MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.

    Language:C107728

  • kernkonzept/l4re-core

    The core components of the L4Re operating system.

    Language:C++9414721
  • fpos

    rezgui/fpos

    Free Pascal Operating System (FPOS) is a operating system consists of a minimal kernel built on FreePascal. It contains a Scheme implementation of a hard drive (ATA) driver, keyboard (PS2), serial (8250 UART), FAT32 filesystem and a small real time clock manager. The project was built to experiment with developement of operating system using a high level functional language to study the developement process and the use of Scheme to build a fairly complex system.

    Language:Pascal94111919