42 results found Sort:

925
15.2k
mit
603
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
5.0k
10.6k
apache-2.0
529
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
673
4.8k
other
205
The seL4 microkernel
Created 2014-07-18
4,597 commits to master branch, last one 4 days ago
74
2.3k
mit
124
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
211
1.7k
mit
56
Zircon microkernel reimplemented in Rust.
Created 2019-11-19
1,979 commits to master branch, last one 2 years ago
78
1.6k
mit
33
Pragmatic microkernel-based OS with fully asynchronous I/O
Created 2016-07-11
4,572 commits to master branch, last one a day ago
141
1.4k
unknown
57
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
255
1.1k
other
82
Genode OS Framework
Created 2011-12-20
13,695 commits to master branch, last one a day ago
42
1.1k
mit
29
🏢 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
194
1.0k
gpl-3.0
6
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
162
998
mit
32
华为鸿蒙分布式操作系统(Huawei HarmonyOS,纯血鸿蒙Harmony Next ),开源鸿蒙分布式操作系统( OpenHarmony)开发技术交流,最全鸿蒙技术资料库,手册,指南,共建国产操作系统万物互联新生态。
Created 2020-09-16
109 commits to master branch, last one 24 days ago
1.3k
860
gpl-3.0
77
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
85
635
mit
51
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
58
561
gpl-3.0
33
Ghost, a micro-kernel based hobby operating system.
Created 2015-07-26
394 commits to master branch, last one about a month ago
29
523
other
18
A microkernel-based hackable operating system.
Created 2018-12-14
1,758 commits to main branch, last one 10 days ago
105
380
other
65
NOVA Microhypervisor
Created 2012-03-02
410 commits to release branch, last one about a month ago
11
270
unknown
5
Experimental WASM Microkernel Operating System
Created 2023-10-12
430 commits to main branch, last one 9 days ago
8
250
mpl-2.0
13
Microkernel and userspace written in Rust exploring modern ideas
Created 2017-08-26
1,720 commits to main branch, last one a day ago
29
192
gpl-2.0
30
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
12
192
mit
10
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
49
143
unknown
19
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
86
129
mit
9
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
24
107
unknown
20
The development version of the L4Re Microkernel
Created 2018-02-06
3,429 commits to master branch, last one 21 days ago
0
106
apache-2.0
4
Framework of Operating System Development
Created 2024-07-23
69 commits to main branch, last one 2 months ago
27
105
gpl-3.0
16
Codezero Microkernel
Created 2013-08-13
1,022 commits to master branch, last one 2 years ago
8
101
gpl-3.0
7
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