Real-Time Event Frameworks based on active objects & state machines
QNAP GPL Source
Building and running ancient Linux on Windows
Debian Trixie with the Mate desktop environment
OnePlus Nord (Avicii) Builds of PSM-Kernel
amforth is an extendible interpreter on microcontrollers
Exton|Defender aims to provide an easy way to carry out admin tasks
Q1-kernel a hybrid kernel
The classic RPL programming language reimplemented and reimagined.
BearOS kernel source tree x86
16 bit real mod minecraft clone running in bios
A hobby micro-kernel operating system
Get latest Edition here: http://www.openqrm-enterprise.com.
AO RTOS is small real time OS based on Active Object concurrency model
Jupyter kernel for Coq
Hobby operating system, bootloader, kernel, drivers, C library
Alternative operating system for x86 computers
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
R kernel for Jupyter
Vampire OS is the alternative to Windows and macOS