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
Another rockchip Operating System
NVIDIA Linux open GPU kernel module source
Linux Kernel Manager and Activity Monitor
A virtual environment kit for the local-first web
Make Bootable USB Drive with MBR and 2 Partitions
Rust Linux-compatible kernel
Tooling for Nitro Enclave management
JupyterLab computational environment
CoolPotOS for ia32 / amd64
Open source driver and user-space daemon to control Razer lighting
System Analysis Software
UEFI_MULTI - Make Multi-Boot USB-Drive
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
The Serenity Operating System
An educational 32-bit linux-like Operating System
eBPF-based Linux kernel networking debugger
syzkaller is an unsupervised coverage-guided kernel fuzzer
Linux Kernel for Surface Devices
A simple, decentralized mesh VPN with WireGuard support