42 results found Sort:

927
15.2k
mit
601
Mirror of https://gitlab.redox-os.org/redox-os/redox
Created 2015-04-20
3,793 commits to master branch, last one 18 hours ago
5.0k
10.5k
apache-2.0
531
RT-Thread is an open source IoT Real-Time Operating System (RTOS).
Created 2013-01-02
16,593 commits to master branch, last one 9 hours ago
672
4.7k
other
206
The seL4 microkernel
Created 2014-07-18
4,593 commits to master branch, last one 22 hours 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
210
1.7k
mit
57
Zircon microkernel reimplemented in Rust.
Created 2019-11-19
1,979 commits to master branch, last one about a year ago
78
1.6k
mit
33
Pragmatic microkernel-based OS with fully asynchronous I/O
Created 2016-07-11
4,451 commits to master branch, last one 2 days ago
141
1.4k
unknown
56
A portable microkernel-based multiserver operating system written from scratch.
Created 2017-10-12
18,388 commits to master branch, last one 13 days ago
254
1.1k
other
82
Genode OS Framework
Created 2011-12-20
13,658 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
161
975
mit
32
华为鸿蒙分布式操作系统(Huawei HarmonyOS,纯血鸿蒙Harmony Next ),开源鸿蒙分布式操作系统( OpenHarmony)开发技术交流,最全鸿蒙技术资料库,手册,指南,共建国产操作系统万物互联新生态。
Created 2020-09-16
109 commits to master branch, last one 10 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
628
mit
51
Mirror of https://gitlab.redox-os.org/redox-os/kernel
Created 2017-01-04
2,021 commits to master branch, last one 2 days ago
57
560
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
522
other
18
A microkernel-based hackable operating system.
Created 2018-12-14
1,756 commits to main branch, last one about a year ago
105
378
other
65
NOVA Microhypervisor
Created 2012-03-02
410 commits to release branch, last one about a month ago
11
262
unknown
5
Experimental WASM Microkernel Operating System
Created 2023-10-12
425 commits to main branch, last one 6 days ago
8
251
mpl-2.0
13
Microkernel and userspace written in Rust exploring modern ideas
Created 2017-08-26
1,718 commits to main branch, last one 3 days 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
191
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
This repository has no description...
Created 2023-03-31
26 commits to main branch, last one 7 months 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 2 days ago
87
130
mit
9
Microkernel-Based Research Operating System
Created 2013-07-04
393 commits to dev branch, last one a day ago
Phoenix-RTOS microkernel repository
Created 2018-03-19
1,408 commits to master branch, last one 23 hours ago
0
107
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
23
103
unknown
20
The development version of the L4Re Microkernel
Created 2018-02-06
3,429 commits to master branch, last one 7 days 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 7 days ago