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
Windows Subsystem for Linux
CoolPotOS for ia32 / amd64
Linux Kernel Manager and Activity Monitor
Rust Linux-compatible kernel
The Serenity Operating System
System Analysis Software
Tooling for Nitro Enclave management
Open source driver and user-space daemon to control Razer lighting
eBPF-based Linux kernel networking debugger
A virtual environment kit for the local-first web
An educational 32-bit linux-like Operating System
Linux Kernel for Surface Devices
A set of utilities for monitoring and customizing GPU performance
User mode file system for Windows
Shredos Disk Eraser 64 bit for all Intel 64 bit processors
hhuOS - A small operating system
A secure embedded operating system for microcontrollers
syzkaller is an unsupervised coverage-guided kernel fuzzer
Julia kernel for Jupyter