IPython Kernel for Jupyter
Jupyter magics and kernels for working with remote Spark clusters
Jupyter kernel for Coq
A python Linux Kernel Simulator
A microkernel-based multiserver operating system written from scratch.
Indipendent distro uses inary package system. Sulin is roolling donkey
amforth is an extendible interpreter on microcontrollers
Small real time operating system for AVR and ARM microcontrollers
A Development Framework for Coldfire
A rethinking of the Operating System Ecosystem.