Freertos
From emboxit
mbed
...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!
FreeRTOS Books