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
Exton|Defender aims to provide an easy way to carry out admin tasks
The classic RPL programming language reimplemented and reimagined.
Building and running ancient Linux on Windows
amforth is an extendible interpreter on microcontrollers
BearOS kernel source tree x86
Software development for 4Mb portable, using Z80 CPU and AA batteries
AO RTOS is small real time OS based on Active Object concurrency model
A hobby micro-kernel operating system
Q1-kernel a hybrid kernel
16 bit real mod minecraft clone running in bios
OnePlus Nord (Avicii) Builds of PSM-Kernel
Low power application-configurable Operating System
Get latest Edition here: http://www.openqrm-enterprise.com.
Jupyter kernel for Coq
Alternative operating system for x86 computers