Description

Solution

There is a Zynq port available in the FreeRTOS interactive site.

To use the FreeRTOS:

1. Unzip the package.
2. Copy the freertos_zynq_v1_00_a into:
   <XILINX INSTALL DIRECTORY>\ISE_DS\EDK\sw\lib\bsp
   
3. Copy the contents on the sw_apps (freertos_blink_led and freertos_hello_world) folder into:
   <XILINX INSTALL DIRECTORY>\ISE_DS\EDK\sw\lib\sw_apps
   
   Now, when you create a new Zynq BSP, you will be able to choose the FreeRTOS BSP.
   

Or, if using Standalone SDK, the FreeRTOS can be added to the project repository:

1. In the Preferences dialog, select Xilinx SDK -> Repositories, and point to the "repo" folder in the unzipped Xilinx_Zynq folder:
   
   
2. Press the Rescan Repositories button and click OK to exit.
   Now, when a new BSP, (File -> New -> Board Support Settings) is created, the FreeRTOS can be selected: