Two work arounds are available:
- Use a custom button to run GDB:
1. Project > Customize Buttons...
2. Add the line "powerpc-eabi-gdb --command=/cygdrive/c/Xilinx/10.1/EDK/data/gnu/gdb/440_cmd_file" in the data entry field
3. Press OK
- Open the GDB console and set the processor type:
1. In GDB, select View > Console
2. On the prompt, type "set processor powerpc:440"
This problem has been fixed in the latest EDK 10.1 Service Pack, available at:
http://www.xilinx.com/xlnx/xil_sw_updates_home.jspThe first service pack containing the fix is EDK 10.1 Service Pack 1.