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.
Zen Patched Kernel Sources
Scalable, optimized, secure RTOS for multiple hardware architectures
Linux kernel driver for Xbox One and Xbox Series X|S accessories
Linuxfx Operating System
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Embedded Frameworks based on active objects & state machines
Free operating system for Atari computers, and more.
C-BIOS is an open source BIOS for MSX computers.
QNAP GPL Source
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
Alternative operating system for x86 computers
A cute and educational x86 OS
AO RTOS is small real time OS based on Active Object concurrency model
A microkernel-based multiserver operating system written from scratch.
A basic command line OS made with Cosmos
A free Windows-compatible Operating System
C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...
The classic RPL programming language reimplemented and reimagined.