What patches are currently available for the EDK tools?
Following is a list of relevant patches:
(Xilinx Answer 32623) 11.1 EDK - BSP generated for Monta Vista 5.0.24 kernel fails to boot
(Xilinx Answer 32227) 11.1 EDK, xps_ll_temac_v2_00_a - Tactical Patch to simulate Virtex-4 FPGA hard TEMAC block
(Xilinx Answer 32700) 11 EDK - MicroBlaze processor appears to have stalled when trying to load its SVF file
(Xilinx Answer 32621) 11.1 EDK - XMD shows "Processor stop condition unknown" when debugging MicroBlaze processor 7.20+ applications in SDK
(Xilinx Answer 33068) 11 EDK - Why does SDK hang while it is communicating with the FPGA?
(Xilinx Answer 32858) 11 EDK - When I attempt to suspend or terminate a debug session in SDK, a Suspend Error window appears
(Xilinx Answer 33387) 11 EDK - Why does Flashwriter not work on my Spartan-3A DSP 3400A board?