Although marginally functional, the GCC/MicroBlaze port included with FreeRTOS is tremendously out of date with respect to the development tool chain provided by Xilinx. The original port was done when the ISE tools were at version 7.1, the latest version is now 11.4. The MicroBlaze itself has also changed significantly. In particular, the original port did not support memory caching and relied on OPB devices instead of the now preferred PLB.
I have thoroughly rewritten and updated the port to support the latest MicroBlaze features, be more compatible with GCC’s semantics, and be more compatible with the latest tools included with Xilinx SDK. While I haven’t yet re-created the original demo or packaged the port in a format suitable for inclusion in the FreeRTOS download, I am willing to share the port files with others that may be interested. At some point, I will also try to get the port included with the latest FreeRTOS source download-spare-time permitting.