The source for the Linux kernel used in Windows Subsystem for Linux 2
Hobby operating system, bootloader, kernel, drivers, C library
Linux Kernel Manager and Activity Monitor
This is the stress-ng upstream project git repository.
Zen Patched Kernel Sources
Scalable, optimized, secure RTOS for multiple hardware architectures
Free operating system for Atari computers, and more.
Winux Operating System by Linuxfx
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines
Memory manager for Free Pascal
QNAP GPL Source
The classic RPL programming language reimplemented and reimagined.
A hobby micro-kernel operating system
AO RTOS is small real time OS based on Active Object concurrency model
Alternative operating system for x86 computers
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
A cute and educational x86 OS
A microkernel-based multiserver operating system written from scratch.
C-BIOS is an open source BIOS for MSX computers.
A basic command line OS made with Cosmos