A multiboot cd with six mini Linux Systems
Winux Operating System by Linuxfx
Free operating system for Atari computers, and more.
Market leading real time kernel for 40+ microcontroller architectures
QNAP GPL Source
Real-Time Event Frameworks based on active objects & state machines
Debian Trixie with the Mate desktop environment
Get latest Edition here: http://www.openqrm-enterprise.com.
Exton|Defender aims to provide an easy way to carry out admin tasks
Boots into many systems and GRUB2 ones!
amforth is an extendible interpreter on microcontrollers
BearOS kernel source tree x86
The classic RPL programming language reimplemented and reimagined.
16 bit real mod minecraft clone running in bios
A hobby micro-kernel operating system
Q1-kernel a hybrid kernel
AO RTOS is small real time OS based on Active Object concurrency model
A light version of Debian with minimal installed using LXDE.
OnePlus Nord (Avicii) Builds of PSM-Kernel
Jupyter kernel for Coq