FreeRTOS

Xilinx MicroBlaze

http://www.freertos.org/portmicroblaze.html
http://vontaene.de/freertos_microblaze_ise_9.1/freertos_5.0_changes.txt

NXP LPC23xx on IAR compiler

NXP LPC23xx on GNU compiler