This is the stress-ng upstream project git repository.
The source for the Linux kernel used in Windows Subsystem for Linux 2
NVIDIA Linux open GPU kernel module source
Linux Kernel for Surface Devices
Jupyter magics and kernels for working with remote Spark clusters
Julia kernel for Jupyter
A Scala kernel for Jupyter
A BSD-based OS project that aims to provide an experience with MacOS
IPython Kernel for Jupyter
Rust Linux-compatible kernel
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines
Easy, yet powerful, GNU/Linux distribution
Oberon V4 for Linux and sources for different Oberon V4 implementation
Software development for 4Mb portable, using Z80 CPU and AA batteries
The classic RPL programming language reimplemented and reimagined.
Jupyter kernel for Coq
Hobby operating system, bootloader, kernel, drivers, C library
Thread Scheduler with custom asynchronous messaging in VC++
Vampire OS is the alternative to Windows and macOS
A microkernel-based multiserver operating system written from scratch.