xcore/xgdb_scripts — pull request #2 by ajwlucas (2013-11-25 20:55:27+00:00)
Title: Adding script to enable debugging of overlays via GDB

I'm not sure

connect --reset-to-mode-pins

is the correct way to reset the device but seems to work.