Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
Custom firmware and IDE for the VEX Cortex Microcontroller