The source for the Linux kernel used in Windows Subsystem for Linux 2
Hobby operating system, bootloader, kernel, drivers, C library
This is the stress-ng upstream project git repository.
A Fast, Offline, Graphical distribution based on Arch Linux
Zen Patched Kernel Sources
Scalable, optimized, secure RTOS for multiple hardware architectures
Free operating system for Atari computers, and more.
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines
QNAP GPL Source
Building and running ancient Linux on Windows
The classic RPL programming language reimplemented and reimagined.
A hobby micro-kernel operating system
Software development for 4Mb portable, using Z80 CPU and AA batteries
Low power application-configurable Operating System
Get latest Edition here: http://www.openqrm-enterprise.com.
Alternative operating system for x86 computers
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560