Projects in Awesome Lists tagged with microkernel

https://github.com/redox-os/redox

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

bsd freebsd gnu gnu-hurd linux microkernel minix open-source openbsd operating-system plan9 posix redox rust sel4

Last synced: 14 May 2025

https://github.com/rt-thread/rt-thread

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

aiot arm cortex-a cortex-m embedded-systems iot kernel microcontroller microkernel mips real-time risc-v rtos

Last synced: 13 May 2025

https://github.com/RT-Thread/rt-thread

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

aiot arm cortex-a cortex-m embedded-systems iot kernel microcontroller microkernel mips real-time risc-v rtos

Last synced: 18 Mar 2025

https://github.com/sel4/sel4

The seL4 microkernel

microkernel os sel4 sel4-microkernel

Last synced: 13 May 2025

https://github.com/seL4/seL4

The seL4 microkernel

microkernel os sel4 sel4-microkernel

Last synced: 26 Mar 2025

https://github.com/nebulet/nebulet

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

microkernel nebulet operating-system osdev rust webassembly

Last synced: 19 Mar 2025

https://github.com/rcore-os/zcore

Zircon microkernel reimplemented in Rust.

microkernel zircon

Last synced: 15 May 2025

https://github.com/rcore-os/zCore

Zircon microkernel reimplemented in Rust.

microkernel zircon

Last synced: 10 Apr 2025

https://github.com/managarm/managarm

Pragmatic microkernel-based OS with fully asynchronous I/O

asynchronous-io hacktoberfest microkernel modern-cpp operating-system posix-compatible x86-64

Last synced: 14 May 2025

https://github.com/HelenOS/helenos

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

components drivers gui helenos kernel microkernel multicore multiserver operating-system sound tcp-ip usb

Last synced: 26 Mar 2025

https://github.com/fenwii/openharmony

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

5g ai architecture development-tools harmony harmonyos harmonyos-next hisilicon huawei iot kernel linux maps microkernel openharmony operating-system os sensor v2x wearabledevice

Last synced: 14 May 2025

https://github.com/genodelabs/genode

Genode OS Framework

arm cplusplus cpp framework genode goa hypervisor linux microkernel nova object-capabilities operating-system osdev riscv sculpt-os sel4 virtualization x86

Last synced: 14 May 2025

https://github.com/fenwii/OpenHarmony

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

5g ai architecture development-tools harmony harmonyos harmonyos-next hisilicon huawei iot kernel linux maps microkernel openharmony operating-system os sensor v2x wearabledevice

Last synced: 18 Mar 2025

https://github.com/brutal-org/brutal

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

c hobby-os kernel microkernel modern-c operating-system osdev

Last synced: 12 Apr 2025

https://github.com/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.

arm c-plus-plus intel microkernel operating-system raspberry-pi raspberrypi

Last synced: 15 May 2025

https://github.com/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.

arm c-plus-plus intel microkernel operating-system raspberry-pi raspberrypi

Last synced: 30 Mar 2025

https://github.com/supercip971/wingos

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

64bit cpp hobby-os kernel microkernel operating-system os osdev wingos x86-64

Last synced: 07 Oct 2025

https://github.com/redox-os/kernel

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

linux microkernel plan9 redox rust sel4 syscall

Last synced: 04 Oct 2025

https://github.com/maxdev1/ghost

Ghost, a micro-kernel based hobby operating system.

ghost gui kernel libc microkernel os x86

Last synced: 09 Jul 2025

https://github.com/nuta/resea

A microkernel-based hackable operating system.

microkernel operating-system

Last synced: 15 May 2025

https://github.com/jonaskruckenberg/k23

Experimental WASM Microkernel Operating System

microkernel operating-system research wasm

Last synced: 16 May 2025

https://github.com/sorpaas/rux

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

kernel microkernel

Last synced: 08 Apr 2025

https://github.com/JonasKruckenberg/k23

Experimental WASM Microkernel Operating System

microkernel operating-system research wasm

Last synced: 27 Aug 2025

https://github.com/isaacwoods/poplar

Microkernel and userspace written in Rust exploring modern ideas

kernel microkernel operating-system os osdev risc-v rust x86-64

Last synced: 09 Apr 2025

https://github.com/IsaacWoods/poplar

Microkernel and userspace written in Rust exploring modern ideas

kernel microkernel operating-system os osdev risc-v rust x86-64

Last synced: 22 Apr 2025

https://github.com/nuta/microkernel-book

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

educational microkernel operating-system

Last synced: 04 Apr 2025

https://github.com/nanvix/nanvix

Microkernel-Based Research Operating System Written in Rust

microkernel operating-system rust

Last synced: 22 Jan 2026

https://github.com/diodesign/diosix

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

diosix hypervisor kernel microkernel risc-v riscv rust

Last synced: 11 Jan 2026

https://github.com/deislabs/mystikos

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

alpha docker intel microkernel sgx tee

Last synced: 13 Apr 2025

https://github.com/jserv/codezero

Codezero Microkernel

arm embedded hypervisor l4-microkernel microkernel

Last synced: 23 Apr 2025

https://github.com/kernkonzept/l4re-core

The core components of the L4Re operating system.

arm l4 microkernel mips multiserver operating-system x86

Last synced: 09 Oct 2025

https://github.com/hex-five/multizone-sdk

MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn't define TrustZone-like primitives to provide hardware separation. To shield critical functionality from untrusted third-party components, MultiZone provides hardware-enforced, software-defined separation of multi

attestation container digilent-arty-board firmware fpga freertos hypervisor microkernel multizone risc-v root-of-trust secure-boot secure-element security sifive tee trusted-computing trusted-execution-environment trustzone xilinx

Last synced: 17 Apr 2025

https://github.com/wookey-project/ewok-kernel

A secure and high performances microkernel for building secure MCU-based IoTs

ada arm armv7m embedded ewok ewok-kernel microcontroller microcontroller-firmware microkernel security spark

Last synced: 03 Sep 2025

https://github.com/Tix3Dev/apoptOS

A modern x86_64 UNIX-like microkernel-based operating system

assembly c hobby-kernel hobby-os limine microkernel operating-system os osdev x86-64

Last synced: 11 Mar 2025

https://github.com/oro-os/kernel

Kernel for the Oro Operating System

hybrid-kernel kernel microkernel operating-system operating-system-kernel

Last synced: 09 May 2025

https://github.com/LittleFox94/lf-os_amd64

Hobby operating system for amd64 with high ambitions - mirror

amd64 hobby-os kernel lowlevel microkernel osdev

Last synced: 16 May 2025

https://github.com/dentosal/rust_os

My hobby operating system microkernel written in Rust

hobby-project microkernel operating-system osdev rust

Last synced: 22 Mar 2025

https://github.com/littlefox94/lf-os_amd64

Hobby operating system for amd64 with high ambitions - mirror

amd64 hobby-os kernel lowlevel microkernel osdev

Last synced: 06 May 2025

https://github.com/ikoene/symfony-micro

Use Symfony as a microframework.

micro-framework microkernel symfony symfony-micro

Last synced: 15 Aug 2025

https://github.com/madworx/docker-minix

QEMU-based Docker image for Minix 3, based on the official CD-ROM ISO image installation from the Minix website

docker docker-image microkernel minix minix3 qemu qemu-kvm

Last synced: 29 Jul 2025

https://github.com/theonekevin/cxkernel

A hobbyist operating system created from scratch ⚙️. This is where I test my ✨ craziest ✨ operating system design ideas.

c-plus-plus hobby-os hobby-project microkernel operating-system osdev

Last synced: 22 Apr 2025

https://github.com/AntoineSebert/dandelion

🌀 Microkernel Real-Time Operating System in Rust

honours-project microkernel operating-system real-time-systems rtos rust

Last synced: 14 May 2025

https://github.com/bedrocksystems/nova

NOVA Microhypervisor

aarch64 cplusplus hypervisor kernel microhypervisor microkernel performance security virtualization x86-64

Last synced: 11 Apr 2025

https://github.com/electronic-waste/chcore

A Microkernel OS Lab & Note & Homework for SJTU SE3357

c homework microkernel notes operating-system sjtu sjtu-se

Last synced: 20 Jun 2025

https://github.com/Electronic-Waste/Chcore

A Microkernel OS Lab & Note & Homework for SJTU SE3357

c homework microkernel notes operating-system sjtu sjtu-se

Last synced: 14 Apr 2025

https://github.com/genodelabs/genode-rpi

Raspberry Pi family support for Genode OS framework

aarch64 arm armv6 armv8 cplusplus cpp genode microkernel osdev raspberry-pi

Last synced: 07 Apr 2025

https://github.com/bahmanm/ifem-os

Aspiring to become an operating system...

assembly-language c exokernel i386 microkernel operating-systems

Last synced: 25 Aug 2025

https://github.com/nekernel-org/nekernel

The Modular C++ Microkernel.

bootloader chk cpp kernel microkernel tools uefi

Last synced: 29 Dec 2025

https://github.com/xe/novos

A capability based microkernel OS.

insanity microkernel rust

Last synced: 12 Apr 2025

https://github.com/genodelabs/genode-imx

i.MX SoC family support for the Genode OS framework

aarch64 arm armv7 armv8 cplusplus cpp genode hypervisor imx6 imx7 imx8 microkernel osdev virtualization

Last synced: 07 Apr 2025

https://github.com/genodelabs/genode-zynq

Zynq SoC support for the Genode OS framework

arm armv7 cplusplus cpp genode microkernel osdev zybo zynq

Last synced: 07 Apr 2025

https://github.com/itay2805/esp32-microkernel

A microkernel for ESP32 targeting TTGO T-Watch-2020-V2

esp32 microkernel ttgo twatch

Last synced: 20 Jan 2026

https://github.com/vresque/esque

A modern microkernel

bootloader embedded kernel microkernel operating-system os osdev rust rust-crate rust-lang safe secure web-assembly x86-64

Last synced: 11 Mar 2025

https://github.com/genodelabs/genode-riscv

RISC-V board support

cplusplus cpp genode microkernel osdev riscv

Last synced: 07 Apr 2025

https://github.com/6arms1leg/taskuler

Simple and tiny framework of a cyclic executive, non-preemptive, cooperative scheduler for embedded systems to manage task execution

cooperative cyclic-executive embedded embedded-systems framework microkernel nested-critical-regions nested-critical-sections non-preemptive real-time scheduler timers

Last synced: 23 Apr 2025

https://github.com/smokku/wrte

microkernel-like environment to run untrusted applications in browser

distributed javascript kernel microkernel operating-system runtime sandbox untrusted-applications www

Last synced: 17 Mar 2025

https://github.com/nuriofernandez/microkernellibrary

Microkernel event-driven architecture library to create plugin-based event-driven applications.

architecture event-driven events java library microkernel modules plugins reflection

Last synced: 13 Apr 2025

https://github.com/torralbaa/N2OS

Sistema operativo libre y colaborativo, donde todos pueden contribuir.

gpl gplv2 kernel microkernel operating-system operating-systems os osdev

Last synced: 10 Mar 2025

https://github.com/gthvn1/zigos

An experimental micro kernel written in Zig

microkernel x86 zig

Last synced: 18 Jan 2026

https://github.com/dkruchinin/mustring

A microkernel with L4-like IPC

c kernel l4 microkernel os

Last synced: 13 Oct 2025

https://github.com/sel4/website

The seL4.systems website

microkernel proof sel4 verification

Last synced: 26 Feb 2025

https://github.com/dmjio/halvm-lightning-talk

A hypothetical HaLVM lightning talk

halvm haskell microkernel os unikernel

Last synced: 31 Oct 2025

https://github.com/ryanwoodsmall/lites

lites mach bsd archive

bsd lites mach microkernel os unix

Last synced: 25 Feb 2025

https://github.com/snacsnoc/microkernel-ultra

Experimental microkernel for fun in Python

microkernel python python-microkernel

Last synced: 18 Jul 2025

https://github.com/tcfw/beehiveos

Beehive OS

kernel microkernel operating-system-learning operating-systems-project

Last synced: 13 Apr 2025

https://github.com/archibate/chaos

A hobby operating system based on my microkernel

c c-library kernel microkernel operating-system os

Last synced: 17 Jul 2025

https://github.com/yazaldefilimone/shios

A from-scratch hobby microkernel operating system, written in C

microkernel os

Last synced: 20 Sep 2025

https://github.com/joe-stifler/mc404-projects

Projects of the discipline Basic Organization of Computers and Assembly Language (MC404) taught by Professor Edson Borin

arm assembly-language microkernel

Last synced: 29 Mar 2025

https://github.com/code-jio/enginekernel

EngineCore - 基于 TypeScript 的微内核插件引擎，提供安全可靠的插件生命周期管理、依赖注入和沙箱隔离。支持 Webpack 多环境构建，适用于企业级插件化架构解决方案。

dependency-injection event-bus lifecycle-management microkernel plugin-architecture sandbox typescript webpack

Last synced: 18 Jul 2025

https://github.com/irodriguez13/sharpcore-kernel

WSL2 free SharpCore Microkernel The modular and portable core of the SharpCore ecosystem. A microkernel-like runtime designed to handle dynamic instruction payloads through interchangeable communication protocols.

grpc ipc json linux-kernel microkernel microkernel-architecture named-pipes unix-socket virtual-machine