| source [find board/stm32f723e-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 | |
| } |