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 BSD-based OS project that aims to provide an experience with MacOS
A Scala kernel for Jupyter
IPython Kernel for Jupyter
Rust Linux-compatible kernel
An operating system based on the best Windows NT design principles
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