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