Market leading real time kernel for 40+ microcontroller architectures
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
Free cooperative operating system designed for microcontrollers
Free real-time operating system designed for microcontrollers
Real-Time Embedded Operating System
A Development Framework for Coldfire
UEFI GTP fdisk is a disk partitionning tool running under UEFI/BIOS
Neptune is a kernel and operating system for x86 PCs.
Custom firmware and IDE for the VEX Cortex Microcontroller
a very fast full system simulator
Tiny operating system for running HCFSM-based systems
A True Web Operating System
MinopsOS is a tiny operating system for PC computers.