Freertos

mbed

• http://community.arm.com/message/18882

...If you are talking about the mbed board: 
ARM mbed LPC1768 Board and using the online mbed compiler, adding FreeRTOS is fairly easy. 
Under your project in the compiler, go to import and search "freertos". 
Import this library:

Make sure to include "FreeRTOS.h" in your project!

• Rohit Grover / This repository is a library FreeRTOS