Problem mit XMD/Software-Debugging

Ich habe das Xilinx EDK 8.2 installiert, ein fertiges MicroBlaze-Design 
geladen, die Test-Applikationen (TestApp_Memory und _Peripheral) 
hinzugefügt und möchte diese nun testweise Debuggen. Ich starte also den 
XMD, er findet auch das an Board und PC angeschlossene USB-Kabel, 
verbindet zum MicroBlaze und startet einen GDB-Server. Wenn ich nun aber 
den GDB aufrufe, zum Server verbinde und dann auf Run drücke, läuft das 
Programm zwar laut Ausgabe, es hält aber nicht an den Breakpoints an, 
noch ist es irgendwie sonst zu bedienen. Die Windows-Eieruhr wird die 
ganze Zeit eingeblendet. Ich kann nur noch auf STOP drücken, woraufhin 
dann eine Warnung erscheint. Ausgaben  über den stdout gibt es auch 
keine.

Was könnte das Problem sein?