Linux Kernel source tree
Zen Patched Kernel Sources
A Rust-based, lightweight unikernel
The source for the Linux kernel used in Windows Subsystem for Linux 2
IPython Kernel for Jupyter
NVIDIA Linux open GPU kernel module source
A virtual environment kit for the local-first web
System Analysis Software
Linux Kernel Manager and Activity Monitor
Rust Linux-compatible kernel
The Serenity Operating System
A UNIX-like kernel for the i386 architecture
Linux Kernel for Surface Devices
eBPF-based Linux kernel networking debugger
Open source driver and user-space daemon to control Razer lighting
Tooling for Nitro Enclave management
JupyterLab computational environment
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
CoolPotOS for ia32 / amd64
My Little Unix: Kernels are Magic
An educational 32-bit linux-like Operating System
syzkaller is an unsupervised coverage-guided kernel fuzzer
A secure embedded operating system for microcontrollers