Zen Patched Kernel Sources
IPython Kernel for Jupyter
Linux Kernel Manager and Activity Monitor
Rust Linux-compatible kernel
A Scala kernel for Jupyter
Scalable, optimized, secure RTOS for multiple hardware architectures
syzkaller is an unsupervised coverage-guided kernel fuzzer
Julia kernel for Jupyter
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
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