NVIDIA Linux open GPU kernel module source
The source for the Linux kernel used in Windows Subsystem for Linux 2
Jupyter kernel for Coq
Building and running ancient Linux on Windows
exGENT Live System is - as the name suggests - based on Gentoo Linux
Exton|Defender aims to provide an easy way to carry out admin tasks
GaryOS is an entire GNU/Linux system in a single bootable file
Identify any kernel core dump file
BASH Shell Tool to Do GNU/Linux System Build
A microkernel-based multiserver operating system written from scratch.
A basic command line OS made with Cosmos
OS-9/6809 compatible operating system for Tandy CoCo and Dragon
humbly smart Operating System - Debian derivative
The classic RPL programming language reimplemented and reimagined.
Linux distribution made specifically to run Docker containers
amforth is an extendible interpreter on microcontrollers
Real-Time Embedded Operating System
An operating system written in RTL
Linux Kernel Input/Output Driver for one single GPIO line