Linux Kernel source tree
Zen Patched Kernel Sources
The source for the Linux kernel used in Windows Subsystem for Linux 2
A Rust-based, lightweight unikernel
IPython Kernel for Jupyter
NVIDIA Linux open GPU kernel module source
Linux Kernel Manager and Activity Monitor
Tooling for Nitro Enclave management
The Serenity Operating System
Open source driver and user-space daemon to control Razer lighting
JupyterLab computational environment
eBPF-based Linux kernel networking debugger
System Analysis Software
A virtual environment kit for the local-first web
Linux Kernel for Surface Devices
A UNIX-like kernel for the i386 architecture
CoolPotOS for ia32 / amd64
A set of utilities for monitoring and customizing GPU performance
syzkaller is an unsupervised coverage-guided kernel fuzzer
Julia kernel for Jupyter
Shredos Disk Eraser 64 bit for all Intel 64 bit processors
Scalable, optimized, secure RTOS for multiple hardware architectures
A Scala kernel for Jupyter
An educational 32-bit linux-like Operating System