Rust Linux-compatible kernel
The source for the Linux kernel used in Windows Subsystem for Linux 2
Your favorite operating systems in one place
Hobby operating system, bootloader, kernel, drivers, C library
Scalable, optimized, secure RTOS for multiple hardware architectures
IPython Kernel for Jupyter
Zen Patched Kernel Sources
A Scala kernel for Jupyter
Winux Operating System by Linuxfx
QNAP GPL Source
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines
Debian Trixie with the Mate desktop environment
amforth is an extendible interpreter on microcontrollers
The classic RPL programming language reimplemented and reimagined.
AO RTOS is small real time OS based on Active Object concurrency model
16 bit real mod minecraft clone running in bios
Boots into many systems and GRUB2 ones!
Alternative operating system for x86 computers
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
Vampire OS is the alternative to Windows and macOS