Zen Patched Kernel Sources
IPython Kernel for Jupyter
Linux Kernel Manager and Activity Monitor
A python Linux Kernel Simulator
Rust Linux-compatible kernel
A Scala kernel for Jupyter
Julia kernel for Jupyter
syzkaller is an unsupervised coverage-guided kernel fuzzer
Scalable, optimized, secure RTOS for multiple hardware architectures
This is the stress-ng upstream project git repository.
Q1-kernel a hybrid kernel
Market leading real time kernel for 40+ microcontroller architectures
Intel Bluetooth Kernel Extensions for macOS
Real-Time Event Frameworks based on active objects & state machines
OnePlus Nord (Avicii) Builds of PSM-Kernel
BearOS kernel source tree x86
A hobby micro-kernel operating system
Jupyter kernel for Coq
R kernel for Jupyter
Linux kernel driver for Xbox One and Xbox Series X|S accessories
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes