microkernel
There are 43 repositories under microkernel topic.
- Language:Shell 14862
- Language:C 9547
- Language:C 4536
nebulet / nebulet
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
Language:Rust 2323- Language:Rust 1669
- Language:C++ 1305
- Language:C 1287
- 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:C 1033 SmallPond / MIT6.828_OS
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
Language:C 955nieklinnenbank / 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++ 846fenwii / OpenHarmony
华为开源鸿蒙分布式操作系统（Huawei OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。
Language:C 759- Language:C 675
- Language:C 559
- Language:C 500
udosteinberg / NOVA
NOVA Microhypervisor
Language:C++ 361sorpaas / rux
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
Language:Rust 289IsaacWoods / poplar
Microkernel and userspace written in Rust exploring modern ideas
Language:Rust 244Nils-TUD / Escape
Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
Language:C++ 184- diosix
diodesign / diosix
A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
Language:Rust 183 - Language:C 147
- Language:Rust 139
- mystikos
deislabs / mystikos
Tools and runtime for launching unmodified container images in Trusted Execution Environments
Language:C 134 - codezeroLanguage:C 105
phoenix-rtos / phoenix-rtos-kernel
Phoenix-RTOS microkernel repository
Language:C 103V01D-NULL / MoonOS
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
Language:C 99kernkonzept / fiasco
The development version of the L4Re Microkernel
Language:POV-Ray SDL 86EDI-Systems / M7M01_MuEukaron
An capability-based microkernel general-purpose operating system focusing on scalability, predictability, mixed-criticality and recoverability. THIS PROJECT IS IN PREVIEW STATE CURRENTLY
Language:C 81pok-kernel / pok
POK kernel. Safe and secure for safety-critical systems.
Language:C 79hex-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 75wookey-project / ewok-kernel
A secure and high performances microkernel for building secure MCU-based IoTs
Language:Ada 72- 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:Pascal 71 The core components of the L4Re operating system.
Language:C++ 66h5n1xp / CuriOS
Simple GUI based Operating System - Based upon my own Microcokernel, heavily inspired by the original 1980s AmigaOS (though somewhat simpler).
Language:C 62Jimx- / lyos
Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V
Language:C 60- munix-legacy
cute-engineering / munix-legacy
🦠 µnix is a UNIX-like operating system
Language:C++ 58 - Language:C 54
