300 skills found · Page 1 of 10
redox-os / RedoxMirror of https://gitlab.redox-os.org/redox-os/redox
RT-Thread / Rt ThreadRT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/
seL4 / SeL4The seL4 microkernel
nebulet / NebuletA proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
managarm / ManagarmPragmatic microkernel-based OS with fully asynchronous I/O
rcore-os / ZCoreZircon microkernel reimplemented in Rust.
HelenOS / HelenosA portable microkernel-based multiserver operating system written from scratch.
fenwii / OpenHarmony华为鸿蒙分布式操作系统（Huawei HarmonyOS，纯血鸿蒙Harmony Next ），开源鸿蒙分布式操作系统（ OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。
genodelabs / GenodeGenode OS Framework
SmallPond / MIT6.828 OSMIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
brutal-org / Brutal🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
betrusted-io / Xous CoreThe Xous microkernel
nieklinnenbank / FreeNOSFreeNOS (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.
redox-os / KernelMirror of https://gitlab.redox-os.org/redox-os/kernel
Supercip971 / WingOSa little 64bit microkernel based operating system written in c++ with smp support
f9micro / F9 KernelAn efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
maxdev1 / GhostGhost, a micro-kernel based hobby operating system.
JonasKruckenberg / K23Experimental WASM Microkernel Operating System
nuta / ReseaA microkernel-based hackable operating system.
udosteinberg / NOVANOVA Microhypervisor
