Hobby operating system, bootloader, kernel, drivers, C library
NVIDIA Linux open GPU kernel module source
The source for the Linux kernel used in Windows Subsystem for Linux 2
Julia kernel for Jupyter
Jupyter magics and kernels for working with remote Spark clusters
A Scala kernel for Jupyter
IPython Kernel for Jupyter
Rust Linux-compatible kernel
Free operating system for Atari computers, and more.
16 bit real mod minecraft clone running in bios
A tapas/topaz/sapphire kernel optimized for smoothness and low-memory
amforth is an extendible interpreter on microcontrollers
Building and running ancient Linux on Windows
AO RTOS is small real time OS based on Active Object concurrency model
Easy, yet powerful, GNU/Linux distribution
Real-Time Event Frameworks based on active objects & state machines
Q1-kernel a hybrid kernel
The classic RPL programming language reimplemented and reimagined.
Jupyter kernel for Coq
Alternative operating system for x86 computers