Microkernel Collection

◆

◆

◆

◆

⚙️Steel

★★★

“Mirror of https://gitlab.redox-os.org/redox-os/redox”

◆

◆

◆

◆

⚔️Fighting

★★★

“RT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/”

◆

◆

◆

◆

⚔️Fighting

★★★

“The seL4 microkernel”

◆

◆

◆

◆

⚙️Steel

★★

“A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.”

◆

◆

◆

◆

🔥Fire

★★

“Pragmatic microkernel-based OS with fully asynchronous I/O”

◆

◆

◆

◆

⚙️Steel

★★

“Zircon microkernel reimplemented in Rust.”

◆

◆

◆

◆

⚔️Fighting

★★

“A portable microkernel-based multiserver operating system written from scratch.”

◆

◆

◆

◆

⚔️Fighting

★★

“华为鸿蒙分布式操作系统（Huawei HarmonyOS，纯血鸿蒙Harmony Next ），开源鸿蒙分布式操作系统（ OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。”

◆

◆

◆

◆

🔥Fire

★★

“Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)”

◆

◆

◆

◆

⚔️Fighting

★★

“MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html”

◆

◆

◆

◆

⚔️Fighting

★★

“🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering ”

◆

◆

◆

◆

🔥Fire

★★

“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.”

◆

◆

◆

◆

⚙️Steel

★★

“Mirror of https://gitlab.redox-os.org/redox-os/kernel”

◆

◆

◆

◆

🔥Fire

★★

“a little 64bit microkernel based operating system written in c++ with smp support ”

◆

◆

◆

◆

⚔️Fighting

★★

“An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4”

◆

◆

◆

◆

⚔️Fighting

★★

“Ghost, a micro-kernel based hobby operating system.”

◆

◆

◆

◆

⚙️Steel

★★

“Experimental WASM Microkernel Operating System”

◆

◆

◆

◆

⚔️Fighting

★★

“A microkernel-based hackable operating system.”