It's a personal microkernel project designed as a learning ground.
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
Free cooperative operating system designed for microcontrollers
Free real-time operating system designed for microcontrollers
W-Bus communication library
Simple AVR OS