There is a fix that can be done to the genace.tcl file located in "C:\Xilinx\11.1\EDK\data\xmd".
After line 298, insert the following:
# The xreset command in the swsuffix doesn't appear to work correctly with PPC
# But it is needed for dual MB systems and MB version 7.20.a (EDK 11)
# Single MB systems in 10.1 SP3 do not appear to need this
if { $target_type != "ppc_hw" } {
xreset $tgt -processor
}
After line 328 (unmodified genace.tcl), insert the following:
# The xreset command in the swprefix doesn't appear to work correctly
# with dual MB systems and MB version 7.20.a (EDK 11)
# But it is required for PPC systems
if { $target_type == "ppc_hw" } {
xreset $tgt -processor
}
This problem has been fixed in EDK 11.3, available at:
http://www.xilinx.com/support/download/index.htm