| source [find board/stm32f746g-disco.cfg] |
| |
| $_TARGETNAME configure -event gdb-attach { |
| echo "Debugger attaching: halting execution" |
| reset halt |
| gdb_breakpoint_override hard |
| } |
| |
| $_TARGETNAME configure -event gdb-detach { |
| echo "Debugger detaching: resuming execution" |
| resume |
| } |
| |
| # Event reset-init already uses the maximum speed however adapter speed |
| # inherited from stm32f7x.cfg for reset-start defaults to 2000 kHz, so |
| # override that speed setting it also to the maximum speed. |
| $_TARGETNAME configure -event reset-start { |
| adapter speed 4000 |
| } |