GitHub topics: microkernel
Code-jio/EngineKernel
EngineCore - 基于 TypeScript 的微内核插件引擎，提供安全可靠的插件生命周期管理、依赖注入和沙箱隔离。支持 Webpack 多环境构建，适用于企业级插件化架构解决方案。
Language: TypeScript - Size: 13 MB - Last synced at: about 16 hours ago - Pushed at: about 17 hours ago - Stars: 1 - Forks: 0
IRodriguez13/SharpCoreModdingPlatform
SharpCore Minecraft: Microkernel de modding para Minecraft Java. Crea mods en cualquier lenguaje, desacoplados y extensibles vía JSON, con staging seguro, rollback y compatibilidad multiplataforma.
Language: C# - Size: 3.14 MB - Last synced at: about 19 hours ago - Pushed at: about 20 hours ago - Stars: 1 - Forks: 0
redox-os/kernel
Mirror of https://gitlab.redox-os.org/redox-os/kernel
Language: Rust - Size: 3.84 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 731 - Forks: 94
JonasKruckenberg/k23
Experimental WASM Microkernel Operating System
Language: Rust - Size: 68.5 MB - Last synced at: about 20 hours ago - Pushed at: 2 days ago - Stars: 505 - Forks: 29
redox-os/redox
Mirror of https://gitlab.redox-os.org/redox-os/redox
Language: Shell - Size: 8.45 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 15,480 - Forks: 935
phaubertin/jinue
An operating system microkernel with a permissive license. Work in progress.
Language: C - Size: 7.81 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2 - Forks: 0
RT-Thread/rt-thread
RT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/
Language: C - Size: 870 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 11,224 - Forks: 5,196
nuta/microkernel-book
『自作OSで学ぶマイクロカーネルの設計と実装』サポートサイト
Language: C - Size: 1.1 MB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 227 - Forks: 29
horizon2038/A9N
A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.
Language: C++ - Size: 3 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 42 - Forks: 0
nuta/resea
A microkernel-based hackable operating system.
Language: C - Size: 3.74 MB - Last synced at: 2 days ago - Pushed at: 8 months ago - Stars: 546 - Forks: 31
nanvix/nanvix
Microkernel-Based Research Operating System Written in Rust
Language: Rust - Size: 7.61 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 165 - Forks: 90
adrianghc/ChaOS
A small microkernel operating system developed from scratch for the ARM-based taskit Portux MiniPC SoC with an AT91RM9200 CPU, 16 MiB Flash memory and 64 MiB RAM. This project was developed during Barry Linnert's operating systems course at Freie Universität Berlin over the course of fourteen weeks in 2018-2019.
Language: C - Size: 9.44 MB - Last synced at: 5 days ago - Pushed at: 9 months ago - Stars: 8 - Forks: 0
HelenOS/helenos
A portable microkernel-based multiserver operating system written from scratch.
Language: C - Size: 122 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1,480 - Forks: 155
xor-bits/hiillos
microkernel in pure Zig
Language: Zig - Size: 932 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 9 - Forks: 1
notvelleda/cenix
tiny OS for silly things
Language: C - Size: 624 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 7 - Forks: 0
seL4/website
The seL4.systems website
Language: HTML - Size: 421 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 3 - Forks: 13
genodelabs/genode
Genode OS Framework
Language: C++ - Size: 70.9 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1,127 - Forks: 260
rcore-os/zCore
Zircon microkernel reimplemented in Rust.
Language: Rust - Size: 77.5 MB - Last synced at: 6 days ago - Pushed at: about 1 year ago - Stars: 1,761 - Forks: 215
jel9/redmond
NT but a real microkernel
Size: 1000 Bytes - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
yazaldefilimone/shios
A from-scratch hobby microkernel operating system, written in C
Language: C - Size: 66.4 KB - Last synced at: 3 days ago - Pushed at: 28 days ago - Stars: 2 - Forks: 0
joe-stifler/TP-MC404
Projetos da disciplina Organização Básica de Computadores e Linguagem Assembly (MC404) ministrada pelo professor Edson Borin - Unicamp
Size: 7.81 KB - Last synced at: 9 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0
IsaacWoods/poplar
Microkernel and userspace written in Rust exploring modern ideas
Language: Rust - Size: 1.66 GB - Last synced at: 1 day ago - Pushed at: 5 days ago - Stars: 259 - Forks: 9
alkuzin/eciton
Eciton - modular microkernel written in Rust for x86-32.
Language: Rust - Size: 723 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 2 - Forks: 1
seL4/seL4
The seL4 microkernel
Language: C - Size: 14.3 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 4,980 - Forks: 700
phoenix-rtos/phoenix-rtos-kernel
Phoenix-RTOS microkernel repository
Language: C - Size: 3.19 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 136 - Forks: 41
EDI-Systems/M7M01_Eukaron
An microkernel focusing on hyperadaptability, hyperreusability, and hyperdeployability.
Language: C - Size: 159 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 87 - Forks: 35
linuiz-project/linuiz
Novelty hybrid micro+mono kernel, designed to achieve extremely low overhead and memory footprint.
Language: ASL - Size: 21.9 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 16 - Forks: 2
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: Pascal - Size: 3.53 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 88 - Forks: 19
iqyx/plumcore
A modular framework for data logging and remote data acquisition.
Language: C - Size: 1.82 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 7 - Forks: 3
devexpress-albania/microkernel
A simple example of microkernel architecture how it is organised.
Language: Java - Size: 52.7 KB - Last synced at: 7 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 1
evangipson/micrus
A 64-bit modular operating system microkernel written in rust
Language: Rust - Size: 11.7 KB - Last synced at: 13 days ago - Pushed at: 26 days ago - Stars: 1 - Forks: 0
ryanwoodsmall/lites
lites mach bsd archive
Language: PostScript - Size: 11.6 MB - Last synced at: 23 days ago - Pushed at: about 5 years ago - Stars: 7 - Forks: 2
ventZl/cmrx
Microkernel-based realtime operating system for microcontrollers
Language: C - Size: 2.38 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 60 - Forks: 14
managarm/managarm
Pragmatic microkernel-based OS with fully asynchronous I/O
Language: C++ - Size: 10.9 MB - Last synced at: 30 days ago - Pushed at: about 1 month ago - Stars: 1,687 - Forks: 84
genodelabs/genode-zynq
Zynq SoC support for the Genode OS framework
Language: C++ - Size: 431 KB - Last synced at: 7 days ago - Pushed at: 30 days ago - Stars: 7 - Forks: 11
genodelabs/genode-imx
i.MX SoC family support for the Genode OS framework
Language: C - Size: 1.56 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 9 - Forks: 11
fenwii/OpenHarmony
华为鸿蒙分布式操作系统（Huawei HarmonyOS，纯血鸿蒙Harmony Next ），开源鸿蒙分布式操作系统（ OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。
Language: C - Size: 747 MB - Last synced at: 29 days ago - Pushed at: about 1 month ago - Stars: 1,160 - Forks: 179
wookey-project/ewok-kernel
A secure and high performances microkernel for building secure MCU-based IoTs
Language: Ada - Size: 5.12 MB - Last synced at: 5 days ago - Pushed at: about 4 years ago - Stars: 76 - Forks: 9
Electronic-Waste/Chcore
A Microkernel OS Lab & Note & Homework for SJTU SE3357
Language: C - Size: 27.5 MB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 16 - Forks: 4
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++ - Size: 4.68 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 874 - Forks: 1,333
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: C - Size: 13.6 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 1,077 - Forks: 44
jel9/kaleido
hobby operating system with a nt-like microkernel
Language: C - Size: 14.6 KB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
kernkonzept/l4re-core
The core components of the L4Re operating system.
Language: C++ - Size: 31.9 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 87 - Forks: 18
kernkonzept/fiasco
The development version of the L4Re Microkernel
Language: C++ - Size: 15.7 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 122 - Forks: 25
rse/microkernel-mod-graphqlio
Microkernel module for integrating GraphQL-IO Server
Language: JavaScript - Size: 57.6 KB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 0 - Forks: 2
Jadedboat780/RustSystem
Минимальное ядро операционной системы на Rust
Language: Rust - Size: 86.9 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
bedrocksystems/NOVA
NOVA Microhypervisor
Language: C++ - Size: 21.5 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 18 - Forks: 2
udosteinberg/NOVA
NOVA Microhypervisor
Language: C++ - Size: 17.8 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 395 - Forks: 109
pok-kernel/pok
POK kernel. Safe and secure for safety-critical systems.
Language: C - Size: 2.29 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 101 - Forks: 64
oro-os/kernel
Kernel for the Oro Operating System
Language: Rust - Size: 2.07 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 62 - Forks: 3
LittleFox94/lf-os_amd64
Hobby operating system for amd64 with high ambitions - mirror
Language: C++ - Size: 1.77 MB - Last synced at: 30 days ago - Pushed at: about 2 months ago - Stars: 47 - Forks: 6
jserv/codezero
Codezero Microkernel
Language: C - Size: 3.56 MB - Last synced at: 2 days ago - Pushed at: over 3 years ago - Stars: 108 - Forks: 28
genodelabs/genode-rpi
Raspberry Pi family support for Genode OS framework
Language: C++ - Size: 208 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 14 - Forks: 12
Jimx-/lyos
Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V
Language: C - Size: 13.9 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 70 - Forks: 5
AntoineSebert/dandelion
🌀 Microkernel Real-Time Operating System in Rust
Language: Rust - Size: 25.6 MB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 46 - Forks: 7
maxdev1/ghost
Ghost, a micro-kernel based hobby operating system.
Language: C - Size: 7.29 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 620 - Forks: 58
smokku/wrte
microkernel-like environment to run untrusted applications in browser
Language: JavaScript - Size: 268 KB - Last synced at: 6 days ago - Pushed at: 2 months ago - Stars: 4 - Forks: 3
genodelabs/genode-riscv
RISC-V board support
Language: C++ - Size: 109 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 5 - Forks: 5
V01D-NULL/MoonOS
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
Language: C - Size: 53.6 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 105 - Forks: 8
paluszkiewiczB/popcorn
Popcorn microframework
Language: Go - Size: 113 KB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
sorpaas/rux
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
Language: Rust - Size: 499 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 302 - Forks: 15
hyperion-os/hyperion
a hobby OS + kernel
Language: Rust - Size: 56.3 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 7 - Forks: 1
deislabs/mystikos
Tools and runtime for launching unmodified container images in Trusted Execution Environments
Language: C - Size: 114 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 146 - Forks: 49
6arms1leg/taskuler
Simple and tiny framework of a cyclic executive, non-preemptive, cooperative scheduler for embedded systems to manage task execution
Language: C - Size: 2.4 MB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 5 - Forks: 0
Xe/novos
A capability based microkernel OS.
Language: Rust - Size: 15.6 KB - Last synced at: 7 days ago - Pushed at: over 6 years ago - Stars: 8 - Forks: 1
amlel-el-mahrouss/openne
OpenNE: Open-source version of Ne.
Language: C++ - Size: 606 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
oro-os/oro
The Oro Operating System official repository
Language: Rust - Size: 61.5 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0
szoftveres/avros
UNIX-like microkernel operating system for Atmel AVR CPUs, entirely from scratch
Language: C - Size: 214 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 13 - Forks: 3
nebulet/nebulet 📦
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
Language: Rust - Size: 1.09 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 2,337 - Forks: 74
phip1611/hedron-minimal-roottask
This repository shows how to build and start a minimal roottask written in Rust on the Hedron microkernel/microhypervisor.
Language: Rust - Size: 92.8 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
fmarl/hadron
The Hadron microkernel
Language: Rust - Size: 1.47 MB - Last synced at: 10 days ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
mneedes/mos
Maintainable RTOS (MOS)
Language: C - Size: 1.61 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
Dentosal/rust_os
My hobby operating system microkernel written in Rust
Language: Rust - Size: 1.06 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 44 - Forks: 7
lux-operating-system/kernel
Portable asynchronous microkernel implementing multiprocessor priority scheduling and Unix-like abstractions
Language: C - Size: 812 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 168 - Forks: 3
lux-operating-system/servers
Suite of servers implementing driver functionality and wrapped system calls for the lux microkernel
Language: C - Size: 463 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 1
BasedDept/borealis
Northern Lights development repository. Pull requests are not yet accepted
Language: C - Size: 86.9 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
lux-operating-system/lumen
User space router and init program enabling communication between the lux microkernel and its servers
Language: C - Size: 34.2 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 1
madworx/docker-minix
QEMU-based Docker image for Minix 3, based on the official CD-ROM ISO image installation from the Minix website
Language: Shell - Size: 27.3 KB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 33 - Forks: 2
seL4/whitepaper
Source for the seL4 white paper
Language: Perl - Size: 5.77 MB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 3
diodesign/diosix
A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
Language: Rust - Size: 48.4 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 192 - Forks: 12
ClementNerma/NightOS
A highly secure, performant and robust operating system for the future :moon: :rocket:
Language: Shell - Size: 22 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 24 - Forks: 1
nanvix/kernel
Research Operating System Kernel
Language: Rust - Size: 4.17 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 61 - Forks: 9
MicroKosmTeam/microk
A reliable microkernel that is intended for every use on every device
Language: C - Size: 55.8 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 9 - Forks: 0
Tix3Dev/apoptOS
A modern x86_64 UNIX-like microkernel-based operating system
Language: C - Size: 7.05 MB - Last synced at: 4 months ago - Pushed at: almost 3 years ago - Stars: 63 - Forks: 3
tcfw/beehiveOS
Beehive OS
Language: Assembly - Size: 5.85 MB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0
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
Language: C - Size: 8.66 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 83 - Forks: 24
vresque/esque
A modern microkernel
Language: Rust - Size: 15.6 MB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 1
dudinda/Image-Processing
Loosely coupled mvp monolith over the digital image processing domain. 32bpp argb only. Also provides a cross-platform engine to run console, static or xaml/xml-based forms.
Language: C# - Size: 11.2 MB - Last synced at: 17 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 2
cs-t1/FerrOS
FerrOS is a school project aiming at building an minimalist micro-kernel OS. We chose to write it using the Rust language. We started by following Philipp Oppermann's own project (https://os.phil-opp.com/) and are currently extending it ourselves.
Language: Rust - Size: 7.16 MB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0
champyen/prex
fork of prex.sourceforge.net, Prex is an open source, royalty-free, real-time operating system for embedded systems.
Language: C - Size: 1.39 MB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 4
bahmanm/ifem-os
Aspiring to become an operating system...
Language: C - Size: 75.2 KB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 10 - Forks: 0
d0p1s4m4/Fukuro
Simple microkernel (early stage)
Language: C - Size: 1.51 MB - Last synced at: 3 months ago - Pushed at: 12 months ago - Stars: 22 - Forks: 2
nexos-dev/nexnix
The repository of NexNix, an operating system aimed to be fast and secure, with the right balance of simplicity and power
Language: C - Size: 1.73 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 9 - Forks: 1
maforn/microPandOS
Implementation of a microkernel operating system on the µRISCV architecture.
Language: C - Size: 6.13 MB - Last synced at: 9 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
nanvix/nvx
Runtime System of the Nanvix Operating System
Language: Rust - Size: 525 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0
nanvix/kcall
Kernel Call Interface of the Nanvix Operating System
Language: Rust - Size: 22.5 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
ikoene/symfony-micro
Use Symfony as a microframework.
Language: PHP - Size: 45.9 KB - Last synced at: 1 day ago - Pushed at: over 7 years ago - Stars: 35 - Forks: 1
fosd-project/FOSD
Framework of Operating System Development
Language: C++ - Size: 324 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 88 - Forks: 0
Arquivotheca/OSF1 📦
OSF/1 Release 1.0
Language: C - Size: 84.2 MB - Last synced at: 11 months ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 2
torralbaa/N2OS 📦
Sistema operativo libre y colaborativo, donde todos pueden contribuir.
Language: C - Size: 24.4 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0
