FreeRTOS-A Free RTOS for ARM7, ARM9, Cortex-M3, MSP430, MicroBlaze, AVR, x86, PIC32, PIC24, dsPIC, H8S, HCS12 and 8051
Portable, mini realtime scheduler (RTOS kernel); how to make full embedded solutions on Windows host with quality open source tools, low cost hardware; supports ARM7, PIC18, 8051, Atmel(Mega)AVR, RDC8822 (AMD AM186 clone), PC with DOS. [Open Source, GPL]