NVIDIA Linux open GPU kernel module source
Hobby operating system, bootloader, kernel, drivers, C library
This is the stress-ng upstream project git repository.
The source for the Linux kernel used in Windows Subsystem for Linux 2
Julia kernel for Jupyter
Jupyter magics and kernels for working with remote Spark clusters
A Scala kernel for Jupyter
IPython Kernel for Jupyter
Rust Linux-compatible kernel
The operating system and all related software
Zen Patched Kernel Sources
Linux Kernel Manager and Activity Monitor
Free operating system for Atari computers, and more.
amforth is an extendible interpreter on microcontrollers
AO RTOS is small real time OS based on Active Object concurrency model
16 bit real mod minecraft clone running in bios
Building and running ancient Linux on Windows
A tapas/topaz/sapphire kernel optimized for smoothness and low-memory
Real-Time Event Frameworks based on active objects & state machines
The classic RPL programming language reimplemented and reimagined.
Easy, yet powerful, GNU/Linux distribution
Q1-kernel a hybrid kernel