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
Windows Subsystem for Linux
A virtual environment kit for the local-first web
Linux Kernel Manager and Activity Monitor
The Serenity Operating System
eBPF-based Linux kernel networking debugger
Rust Linux-compatible kernel
CoolPotOS for ia32 / amd64
User mode file system for Windows
Tooling for Nitro Enclave management
Open source driver and user-space daemon to control Razer lighting
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
System Analysis Software
My Little Unix: Kernels are Magic
A secure embedded operating system for microcontrollers
A set of utilities for monitoring and customizing GPU performance
Shredos Disk Eraser 64 bit for all Intel 64 bit processors
An educational 32-bit linux-like Operating System
Another rockchip Operating System
Scalable, optimized, secure RTOS for multiple hardware architectures
syzkaller is an unsupervised coverage-guided kernel fuzzer