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.
An event sourced, purely functional application platform.
Exokernel for the consumer
JOS Lab of MIT 6.828: Operating System Engineering.
Aspiring to become an operating system...
Implementation of the core of an exokernel-style operating system
Eciton - modular microkernel written in Rust for x86-32.
The Kernel of CharlotteOS, An Experimental Modern Operating System
