Zen Patched Kernel Sources
A Rust-based, lightweight unikernel
Another rockchip Operating System
IPython Kernel for Jupyter
Linux Kernel Manager and Activity Monitor
A virtual environment kit for the local-first web
Make Bootable USB Drive with MBR and 2 Partitions
JupyterLab computational environment
CoolPotOS for ia32 / amd64
System Analysis Software
Open source driver and user-space daemon to control Razer lighting
UEFI_MULTI - Make Multi-Boot USB-Drive
The Serenity Operating System
Intel Wi-Fi Drivers for macOS
An educational 32-bit linux-like Operating System
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
Rust Linux-compatible kernel
eBPF-based Linux kernel networking debugger
A simple, decentralized mesh VPN with WireGuard support
A set of utilities for monitoring and customizing GPU performance
A Scala kernel for Jupyter
Mac Mouse Fix - Make Your $10 Mouse Better Than an Apple Trackpad
Custom kernel for Android device
Julia kernel for Jupyter
syzkaller is an unsupervised coverage-guided kernel fuzzer