Linux Kernel source tree
Zen Patched Kernel Sources
The source for the Linux kernel used in Windows Subsystem for Linux 2
IPython Kernel for Jupyter
NVIDIA Linux open GPU kernel module source
Linux Kernel Manager and Activity Monitor
syzkaller is an unsupervised coverage-guided kernel fuzzer
Julia kernel for Jupyter
Scalable, optimized, secure RTOS for multiple hardware architectures
A Scala kernel for Jupyter
This is the stress-ng upstream project git repository.
Q1-kernel a hybrid kernel
Jupyter kernel for Coq
Market leading real time kernel for 40+ microcontroller architectures
A python Linux Kernel Simulator
Blazingly Fast & Customizable Linux distribution
A tapas/topaz/sapphire kernel optimized for smoothness and low-memory
Linux Kernel Updater
PuppEX Dev/Noble/Trixie/Slack/Jammy are remasters of Puppy Linux
Real-Time Event Frameworks based on active objects & state machines
ArchEX is a new (260108/260106) Linux Live System based on Arch Linux.