In this tutorial we will see how to setup the Arduino IDE for FreeRTOS.
FreeRTOS libraries can be directly installed from boardManager, this works for latest Arduino IDE 1.6.8.
In case you are using the older version of IDE(1.6.5), then you have to copy the files to your sketch library folder.
Lets see hot to do it on both the version of IDE's.
Arduino 1.6.5
Arduino 1.6.8
Download and install the latest version of Arduino IDE 1.6.8 from this link.
Now run the the IDE and go to board manager Tools->Board->Board Manager.
Now select the FreeRTOS and click on Install.