FreeRTOS

An open source (free), portable, preemptive, real-time OS kernel (RTOS scheduler) aimed at small real time embedded systems.

FreeRTOS supports 8, 16 and 32bit microcontrollers including ARM7, AVR, 8051, MSP430 and x86.