Topic: "microkernel"
redox-os/redox
Mirror of https://gitlab.redox-os.org/redox-os/redox
Language: Shell - Size: 8.42 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 15,464 - Forks: 935
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: 869 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 11,193 - Forks: 5,187
seL4/seL4
The seL4 microkernel
Language: C - Size: 14.3 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 4,980 - Forks: 700
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
rcore-os/zCore
Zircon microkernel reimplemented in Rust.
Language: Rust - Size: 77.5 MB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 1,761 - Forks: 215
managarm/managarm
Pragmatic microkernel-based OS with fully asynchronous I/O
Language: C++ - Size: 10.9 MB - Last synced at: 25 days ago - Pushed at: 26 days ago - Stars: 1,687 - Forks: 84
HelenOS/helenos
A portable microkernel-based multiserver operating system written from scratch.
Language: C - Size: 122 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 1,480 - Forks: 155
fenwii/OpenHarmony
华为鸿蒙分布式操作系统（Huawei HarmonyOS，纯血鸿蒙Harmony Next ），开源鸿蒙分布式操作系统（ OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。
Language: C - Size: 747 MB - Last synced at: 24 days ago - Pushed at: about 1 month ago - Stars: 1,160 - Forks: 179
genodelabs/genode
Genode OS Framework
Language: C++ - Size: 70.9 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1,127 - Forks: 260
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: 30 days ago - Pushed at: almost 2 years ago - Stars: 1,077 - Forks: 44
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: about 4 years ago - Stars: 874 - Forks: 1,333
SmallPond/MIT6.828_OS
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
Language: C - Size: 2.11 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 873 - Forks: 174
redox-os/kernel
Mirror of https://gitlab.redox-os.org/redox-os/kernel
Language: Rust - Size: 3.82 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 727 - Forks: 94
f9micro/f9-kernel
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Language: C - Size: 1.15 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 675 - Forks: 147
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
nuta/resea
A microkernel-based hackable operating system.
Language: C - Size: 3.74 MB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 547 - Forks: 31
JonasKruckenberg/k23
Experimental WASM Microkernel Operating System
Language: Rust - Size: 69.2 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 499 - Forks: 29
udosteinberg/NOVA
NOVA Microhypervisor
Language: C++ - Size: 17.8 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 395 - Forks: 109
sorpaas/rux
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
Language: Rust - Size: 499 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 302 - Forks: 15
IsaacWoods/poplar
Microkernel and userspace written in Rust exploring modern ideas
Language: Rust - Size: 1.66 GB - Last synced at: 21 days ago - Pushed at: about 1 month ago - Stars: 257 - Forks: 9
nuta/microkernel-book
『自作OSで学ぶマイクロカーネルの設計と実装』サポートサイト
Language: C - Size: 1.1 MB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 226 - Forks: 28
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
Nils-TUD/Escape
Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
Language: C++ - Size: 90.8 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 179 - Forks: 30
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
nanvix/nanvix
Microkernel-Based Research Operating System Written in Rust
Language: Rust - Size: 7.61 MB - Last synced at: about 5 hours ago - Pushed at: about 6 hours ago - Stars: 165 - Forks: 90
deislabs/mystikos
Tools and runtime for launching unmodified container images in Trusted Execution Environments
Language: C - Size: 114 MB - Last synced at: 29 days ago - Pushed at: 4 months ago - Stars: 146 - Forks: 49
kwast-os/kwast
Rust operating system running WebAssembly as userspace in ring 0
Language: Rust - Size: 689 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 137 - Forks: 5
phoenix-rtos/phoenix-rtos-kernel
Phoenix-RTOS microkernel repository
Language: C - Size: 3.19 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 136 - Forks: 41
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
jserv/codezero
Codezero Microkernel
Language: C - Size: 3.56 MB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 108 - Forks: 28
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: 6 days ago - Pushed at: 6 days ago - Stars: 105 - Forks: 8
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
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: 16 days ago - Pushed at: 16 days ago - Stars: 88 - Forks: 19
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
EDI-Systems/M7M01_Eukaron
An microkernel focusing on hyperadaptability, hyperreusability, and hyperdeployability.
Language: C - Size: 159 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 87 - Forks: 35
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
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
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: about 3 hours ago - Pushed at: about 4 years ago - Stars: 76 - Forks: 9
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
Tix3Dev/apoptOS
A modern x86_64 UNIX-like microkernel-based operating system
Language: C - Size: 7.05 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 63 - Forks: 3
oro-os/kernel
Kernel for the Oro Operating System
Language: Rust - Size: 2.07 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 62 - Forks: 3
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
ventZl/cmrx
Microkernel-based realtime operating system for microcontrollers
Language: C - Size: 2.38 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 60 - Forks: 14
cute-engineering/munix-legacy 📦
🦠 µnix is a UNIX-like operating system
Language: C++ - Size: 7.67 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 58 - Forks: 3
h5n1xp/CuriOS
Simple GUI based Operating System - Based upon my own Microcokernel, heavily inspired by the original 1980s AmigaOS (though somewhat simpler).
Language: C - Size: 337 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 56 - Forks: 1
pflab-ut/mcube
Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models
Language: C - Size: 2.27 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 51 - Forks: 7
LittleFox94/lf-os_amd64
Hobby operating system for amd64 with high ambitions - mirror
Language: C++ - Size: 1.77 MB - Last synced at: 25 days ago - Pushed at: about 2 months ago - Stars: 47 - Forks: 6
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
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
r1ru/mavis 📦
A proof-of-concept using WASM runtime as a kernel
Language: C - Size: 286 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 39 - Forks: 1
sparkle-os/sparkle
✨ a microkernel in Rust
Language: Rust - Size: 202 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 38 - Forks: 3
ikoene/symfony-micro
Use Symfony as a microframework.
Language: PHP - Size: 45.9 KB - Last synced at: 30 days ago - Pushed at: over 7 years ago - Stars: 35 - Forks: 1
robert-w-gries/rxinu
Rust implementation of Xinu educational operating system
Language: Rust - Size: 269 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 34 - Forks: 4
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: 3 months ago - Pushed at: 3 months ago - Stars: 33 - Forks: 0
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
r1ru/WasmOS Fork of nuta/microkernel-book
A proof-of-concept microkernel that runs WebAssembly natively.
Language: C - Size: 714 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 32 - Forks: 2
kaneton/kaneton
kaneton is an educational microkernel that has been used for teaching purposes for over 8 years.
Language: C - Size: 202 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 32 - Forks: 4
TheOneKevin/cxkernel
A hobbyist operating system created from scratch ⚙️. This is where I test my ✨ craziest ✨ operating system design ideas.
Language: C++ - Size: 38 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 28 - Forks: 7
salvois/kernel
My ongoing experimentation on operating system internals, aiming at providing a kernel to the FreeDOS-32 project.
Language: C - Size: 373 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 28 - Forks: 1
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
pitust/xtrix
xtrix OS repo
Language: D - Size: 1.22 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 24 - Forks: 0
SmartPolarBear/project-dionysus
A research kernel written in modern C++.
Language: C++ - Size: 2.32 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 24 - Forks: 1
d0p1s4m4/Fukuro
Simple microkernel (early stage)
Language: C - Size: 1.51 MB - Last synced at: 2 months ago - Pushed at: 12 months ago - Stars: 22 - Forks: 2
patrick-lafferty/saturn
A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.
Language: C++ - Size: 1.93 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 21 - Forks: 2
sphw/k5
A small experimental microkernel for embedded systems
Language: Rust - Size: 870 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 20 - Forks: 0
bedrocksystems/NOVA
NOVA Microhypervisor
Language: C++ - Size: 21.5 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 18 - Forks: 2
hex-five/multizone-linux
MultiZone® Security Enclave for Linux
Language: C - Size: 640 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 18 - Forks: 10
caprese-project/caprese
Caprese is a microkernel that protects resources with capability-based security.
Language: C++ - Size: 465 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 17 - Forks: 0
Allegra42/thesis-documentation-fuchsia
Notes and the actual elaboration for my master's thesis on different operating system approaches.
Language: TeX - Size: 123 MB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 17 - Forks: 1
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: about 17 hours ago - Pushed at: about 17 hours ago - Stars: 16 - Forks: 2
Electronic-Waste/Chcore
A Microkernel OS Lab & Note & Homework for SJTU SE3357
Language: C - Size: 27.5 MB - Last synced at: 1 day ago - Pushed at: almost 2 years ago - Stars: 16 - Forks: 4
ManyThreads/mythos
Many Threads Operating System
Language: C++ - Size: 5.89 MB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 16 - Forks: 4
fritzprix/TachyOS
Embedded OS for IoT
Language: C++ - Size: 5.14 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 16 - Forks: 4
real-xinu/xinu-arduino
Xinu OS port for AVR atmega328p microcontroller (e.g. Arduino)
Language: C - Size: 4.32 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 5
rdmsr/tisix
Tiny and portable microkernel
Language: C++ - Size: 1.35 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 15 - Forks: 1
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
ksandstr/mung
A L4.X2 compatible microkernel
Language: C - Size: 4.78 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 13 - 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
huangguiyang/MINIX
MINIX v3.1.0 - described in the book 'Operating Systems Design and Implementation' 3rd edition.
Language: C - Size: 5.62 MB - Last synced at: over 1 year ago - Pushed at: about 9 years ago - Stars: 13 - Forks: 6
bahmanm/ifem-os
Aspiring to become an operating system...
Language: C - Size: 75.2 KB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 10 - Forks: 0
xor-bits/hiillos
microkernel in pure Zig
Language: Zig - Size: 932 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 9 - Forks: 1
genodelabs/genode-imx
i.MX SoC family support for the Genode OS framework
Language: C - Size: 1.56 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 9 - Forks: 11
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
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
neozeed/xMach
xMach (Mach4+Lites) cloned from Sourceforge CVS
Language: C - Size: 5.29 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 9 - Forks: 5
vresque/esque
A modern microkernel
Language: Rust - Size: 15.6 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 1
jcdubois/moth
Minimalist cooperative operating system supporting multiple tasks with MMU protection
Language: C - Size: 729 KB - Last synced at: 11 months ago - Pushed at: almost 4 years ago - Stars: 8 - Forks: 4
stephaneweg/onyx-kernel
Onyx microkernel
Language: FreeBasic - Size: 70.2 MB - Last synced at: 8 months ago - Pushed at: almost 4 years ago - Stars: 8 - Forks: 1
Xe/novos
A capability based microkernel OS.
Language: Rust - Size: 15.6 KB - Last synced at: 2 days ago - Pushed at: over 6 years ago - Stars: 8 - Forks: 1
notvelleda/cenix
tiny OS for silly things
Language: C - Size: 624 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 7 - Forks: 0
iqyx/plumcore
A modular framework for data logging and remote data acquisition.
Language: C - Size: 1.82 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 7 - Forks: 3
genodelabs/genode-zynq
Zynq SoC support for the Genode OS framework
Language: C++ - Size: 431 KB - Last synced at: 2 days ago - Pushed at: 25 days ago - Stars: 7 - Forks: 11
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
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: 8 days ago - Pushed at: 9 months ago - Stars: 7 - Forks: 0
bSchnepp/pantheon
Tiny operating system for aarch64 devices
Language: C++ - Size: 807 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 0
Arquivotheca/OSF1 📦
OSF/1 Release 1.0
Language: C - Size: 84.2 MB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 2
himanshugoel2797/Cardinal-semicolon
Cardinal; - An extremely modular, security oriented microkernel operating system.
Language: C - Size: 5.19 MB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 7 - Forks: 0
ryanwoodsmall/lites
lites mach bsd archive
Language: PostScript - Size: 11.6 MB - Last synced at: 18 days ago - Pushed at: about 5 years ago - Stars: 7 - Forks: 2
j-blandford/muk
A very basic modular kernel. This isn't meant to be a full-featured kernel+OS, but as a test bed for understanding and implementing task scheduling (with daemon processes) and exploring C++11
Language: C++ - Size: 457 KB - Last synced at: 2 days ago - Pushed at: almost 8 years ago - Stars: 7 - Forks: 2
osfree-project/os3
OS/2 personality (OS/2 API implementation on top of different kernels)
Language: C - Size: 9.79 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 2
