Hobby operating system, bootloader, kernel, drivers, C library
Redox is an operating system written in Rust
Linux Kernel source tree
Linux Kernel Manager and Activity Monitor
The source for the Linux kernel used in Windows Subsystem for Linux 2
NVIDIA Linux open GPU kernel module source
Julia kernel for Jupyter
A beautiful personal server OS for Raspberry Pi or any Linux distro
Jupyter magics and kernels for working with remote Spark clusters
IPython Kernel for Jupyter
A Scala kernel for Jupyter
Rust Linux-compatible kernel
Free operating system for Atari computers, and more.
Market leading real time kernel for 40+ microcontroller architectures
Easy, yet powerful, GNU/Linux distribution
GobLin: The GNU/Linux Operating System for Governments
FluXuan Linux - Devuan based operating system!
Real-Time Event Frameworks based on active objects & state machines
The classic RPL programming language reimplemented and reimagined.
Get latest Edition here: http://www.openqrm-enterprise.com.
Jupyter kernel for Coq
Linux For Christians
Vampire OS is the alternative to Windows and macOS
A cute and educational x86 OS
A microkernel-based multiserver operating system written from scratch.