Linux Kernel source tree
The source for the Linux kernel used in Windows Subsystem for Linux 2
Zen Patched Kernel Sources
NVIDIA Linux open GPU kernel module source
IPython Kernel for Jupyter
A python Linux Kernel Simulator
Linux Kernel Manager and Activity Monitor
Julia kernel for Jupyter
Scalable, optimized, secure RTOS for multiple hardware architectures
A Scala kernel for Jupyter
syzkaller is an unsupervised coverage-guided kernel fuzzer
This is the stress-ng upstream project git repository.
Jupyter kernel for Coq
Q1-kernel a hybrid kernel
Archman GNU/Linux / Arch Linux based linux distribution
The data science OS
FluXuan Linux - Devuan based operating system!
Source based linux distribution
A beautiful personal server OS for Raspberry Pi or any Linux distro
LFA (Linux for all) 64 bit with Budgie 10.9.1 and Refracta Snaphot