Есть методика интеграции FreeRTOS в среду ISE:
http://www.freertos.org/RTOS-Xilinx-SDK-BSP.htmlНо после всех описанных манипуляций, в списке платформ FreeRTOS так и не появляется. В методике не указана версия ISE, на которую это рассчитано, пробовал и в 13.4, тоже не вышло.
В общем, взял VirtualBox, создал виртуальную машину с WindowsXP, на ней взгромоздил ISE 14.7, EDK, SDK, и создал небольшой проект с Microblaze. Теперь хочу создать проект под FreeRTOS. И вот тут застрял.