Hi!
How to play a manual debugging session? Nothing easier than that!
1) Start the Xilinx Microprocessor Debugger (XMD) Engine (possibly with the workaround, see my previous post).
$ LD_PRELOAD=libdpcomm.so.2 xmd
2) Connect to the device
XMD% connect arm hw
3) Program the FPGA with the bitstream)
XMD% fpga -f proc_module_hw_platform/system.bit
4) Download the firmware
XMD% dow hello_world_0/Debug/hello_world_0.elf
5) Initialize the peripherals
XMD% source hw/ps7_init.tcl
XMD% ps7_init
6) Start GDB on another termial
$ arm-xilinx-eabi-gdb hello_world_0/Debug/hello_world_0.elf
7) Connect to XMD
(gdb) target remote localhost:1234
8) Debug
(gdb) list
(gdb) break main
(gdb) cont
(gdb) list
9) Probably you want to "reset" the application by setting the program counter (http://sourceware.org/gdb/onlinedocs/gdb/Registers.html)
(gdb) set $pc = 0x0
Bye
Hansi
