42 results found Sort:
Mirror of https://gitlab.redox-os.org/redox-os/redox
Created
2015-04-20
3,799 commits to master branch, last one 3 days ago
RT-Thread is an open source IoT Real-Time Operating System (RTOS).
Created
2013-01-02
16,644 commits to master branch, last one 19 hours ago
The seL4 microkernel
Created
2014-07-18
4,597 commits to master branch, last one 4 days ago
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
This repository has been archived
(exclude archived)
Created
2018-02-19
187 commits to master branch, last one about a year ago
Zircon microkernel reimplemented in Rust.
Created
2019-11-19
1,979 commits to master branch, last one 2 years ago
Pragmatic microkernel-based OS with fully asynchronous I/O
Created
2016-07-11
4,572 commits to master branch, last one a day ago
A portable microkernel-based multiserver operating system written from scratch.
Created
2017-10-12
18,391 commits to master branch, last one 9 days ago
Genode OS Framework
Created
2011-12-20
13,695 commits to master branch, last one a day ago
🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
Created
2021-06-03
1,454 commits to main branch, last one about a year ago
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
Created
2019-07-06
21 commits to master branch, last one about a year ago
华为鸿蒙分布式操作系统（Huawei HarmonyOS，纯血鸿蒙Harmony Next ），开源鸿蒙分布式操作系统（ OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。
Created
2020-09-16
109 commits to master branch, last one 24 days ago
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.
Created
2015-03-17
1,589 commits to master branch, last one 3 years ago
Mirror of https://gitlab.redox-os.org/redox-os/kernel
Created
2017-01-04
2,024 commits to master branch, last one 14 days ago
Ghost, a micro-kernel based hobby operating system.
Created
2015-07-26
394 commits to master branch, last one about a month ago
A microkernel-based hackable operating system.
Created
2018-12-14
1,758 commits to main branch, last one 10 days ago
NOVA Microhypervisor
Created
2012-03-02
410 commits to release branch, last one about a month ago
Experimental WASM Microkernel Operating System
Created
2023-10-12
430 commits to main branch, last one 9 days ago
Microkernel and userspace written in Rust exploring modern ideas
Created
2017-08-26
1,720 commits to main branch, last one a day ago
Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
Created
2013-01-13
3,301 commits to master branch, last one about a year ago
A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
Created
2015-11-29
502 commits to main branch, last one 3 years ago
『自作OSで学ぶマイクロカーネルの設計と実装』サポートサイト
Created
2023-03-31
27 commits to main branch, last one 6 days ago
Rust operating system running WebAssembly as userspace in ring 0
Created
2019-03-08
375 commits to main branch, last one 3 years ago
Tools and runtime for launching unmodified container images in Trusted Execution Environments
Created
2021-01-13
2,412 commits to main branch, last one 4 months ago
Portable asynchronous microkernel implementing multiprocessor priority scheduling and Unix-like abstractions
Created
2024-04-20
802 commits to main branch, last one 16 days ago
Microkernel-Based Research Operating System
Created
2013-07-04
431 commits to dev branch, last one 2 days ago
Phoenix-RTOS microkernel repository
Created
2018-03-19
1,413 commits to master branch, last one a day ago
The development version of the L4Re Microkernel
Created
2018-02-06
3,429 commits to master branch, last one 21 days ago
Framework of Operating System Development
Created
2024-07-23
69 commits to main branch, last one 2 months ago
Codezero Microkernel
Created
2013-08-13
1,022 commits to master branch, last one 2 years ago
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
Created
2021-02-16
391 commits to main branch, last one 21 days ago