Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Operating System Microkernel Open Source Projects

Open source projects categorized as Operating System Microkernel
Categories > Microkernel
Categories > Operating Systems > Operating System
Harmonyos ⭐ 18,477
A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。
most recent commit 2 years ago
Redox ⭐ 14,520
Mirror of https://gitlab.redox-os.org/redox-os/redox
most recent commit 10 months ago
Sel4 ⭐ 4,435
The seL4 microkernel
most recent commit 3 months ago
Nebulet ⭐ 2,284
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
most recent commit a year ago
Helenos ⭐ 1,265
A portable microkernel-based multiserver operating system written from scratch.
most recent commit 3 months ago
Managarm ⭐ 1,258
Pragmatic microkernel-based OS with fully asynchronous I/O
most recent commit 3 months ago
Genode ⭐ 995
Genode OS Framework
most recent commit 3 months ago
Brutal ⭐ 990
🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
most recent commit 8 months ago
Mit6.828_os ⭐ 750
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.htm
most recent commit a year ago
Openharmony ⭐ 673
华为开源鸿蒙分布式操作系统（Huawei OpenHarmony）开发技术交流，鸿蒙技术资料，手册，指南，共建国产操作系统万物互联新生态。
most recent commit 3 months ago
Freenos ⭐ 670
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.
most recent commit 3 years ago
Ghost ⭐ 531
Ghost, a micro-kernel based hobby operating system.
most recent commit 8 months ago
Resea ⭐ 473
A microkernel-based hackable operating system.
most recent commit 8 months ago
Unikernels ⭐ 396
Unikernel and immutable infrastructures
most recent commit 2 years ago
Poplar ⭐ 241
Microkernel and userspace written in Rust exploring modern ideas
total releases 6most recent commit a month ago
Escape ⭐ 174
Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
most recent commit 9 months ago
Haiway ⭐ 134
Haiway Edge Computing OS
most recent commit 4 years ago
Cleese ⭐ 108
an operating system in Python
most recent commit 10 years ago
Phoenix Rtos Kernel ⭐ 99
Phoenix-RTOS microkernel repository
most recent commit 3 months ago
Microkernel Book ⭐ 97
most recent commit 8 months ago
Moonos ⭐ 91
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
most recent commit a year ago
Fiasco ⭐ 85
The development version of the L4Re Microkernel
most recent commit 3 months ago
Jsix ⭐ 65
A hobby operating system for x86_64, boots with UEFI.
most recent commit 9 months ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.