Microkernel, for Smartphone usage, modular like a linux kernel, but written entirely in rust.
-
Updated
Aug 18, 2017
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.
Microkernel, for Smartphone usage, modular like a linux kernel, but written entirely in rust.
A template for develping modules for the MicroKosm operating system
Maven archetype for executable .war files based on Jetty
A Micro Kernel
XNU is a hybrid kernel, containing features of both monolithic kernels and microkernels, OSFMK + BSD + K32/K64 + IOKit for Darwin operating systems (like OS X, MacOS and iOS)
Microkernel module for integrating GraphQL-IO Server
Microkernel
Microkernel extension procedure for Continuation Local Storage (CLS)
NOVA Microhypervisor r-22.52 for genode nova-next port.
An embedded systems project demonstrating a basic kernel implementation, with a trains controller mounted on it.
A simple example of microkernel architecture how it is organised.
Shasta is a 64-bit experimental microkernel for x86 PCs