Market leading real time kernel for 40+ microcontroller architectures
Real-Time Embedded Frameworks based on active objects & state machines
Bootloader for STM32, XMC, HCS12 and other microcontroller targets.
Scientific/engineering firmware repurposing HP business calculators!
Cross-platform IDE for developing embedded solutions and desktops
Real Time Tcp/Ip Stack Library
Free real-time operating system designed for microcontrollers
RTOS for Secure, Safe and Real-Time Systems
ext2/3/4 library for microcontrollers
Debian for WDTV Live (running WDLXTV) - Inc. Build Essentials
DMX Library and usage examples for Arduino
Yet another nand flash translation layer
Web based GUI for accessing ATMEL ATNGW100 board's flash memory.