Zen Patched Kernel Sources
IPython Kernel for Jupyter
Linux Kernel Manager and Activity Monitor
Rust Linux-compatible kernel
syzkaller is an unsupervised coverage-guided kernel fuzzer
A Scala kernel for Jupyter
Julia kernel for Jupyter
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
A python Linux Kernel Simulator
Real-Time Event Frameworks based on active objects & state machines
Intel Bluetooth Kernel Extensions for macOS
BearOS kernel source tree x86
A hobby micro-kernel operating system
OnePlus Nord (Avicii) Builds of PSM-Kernel
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