Exokernel for the consumer
-
Updated
Apr 15, 2019 - C++
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.
Exokernel for the consumer
JOS Lab of MIT 6.828: Operating System Engineering.
An event sourced, purely functional application platform.
Implementation of the core of an exokernel-style operating system
Aspiring to become an operating system...