A kernel is the heart of almost every operating system. It is always loaded in memory at any time and deals with the hardware to provide an interface for the software. It also manages peripherals, memory, interrupts, and processes. Examples of widely used kernels include Windows NT and Linux.
RT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/
Astrid is a portable, capability-secure operating system for composable software.
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
Pragmatic microkernel-based OS with fully asynchronous I/O
A portable microkernel-based multiserver operating system written from scratch.
εδΈΊιΈΏθεεΈεΌζδ½η³»η»οΌHuawei HarmonyOSοΌηΊ―θ‘ιΈΏθHarmony Next οΌοΌεΌζΊιΈΏθεεΈεΌζδ½η³»η»οΌ OpenHarmonyοΌεΌεζζ―δΊ€ζ΅οΌζε ¨ιΈΏθζζ―θ΅ζεΊοΌζεοΌζεοΌε ±ε»Ίε½δΊ§ζδ½η³»η»δΈη©δΊθζ°ηζγ
Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
π’ An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
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.
a little 64bit microkernel based operating system written in c++ with smp support
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Experimental WASM Microkernel Operating System
Ghost, a micro-kernel based hobby operating system.
NOVA Microhypervisor