A multi-MicroBlaze processor system with the xps_mutex Core hangs.
Is there a work-around for this problem?
This problem occurs if all the MicroBlaze processors are on the same PLB bus. The only work-around is to have the MicroBlaze processors on separate PLB buses when using the xps_mutex.
This problem has been fixed in EDK 11.2, available at: