1source [find board/stm32f746g-disco.cfg]
2
3$_TARGETNAME configure -event gdb-attach {
4	echo "Debugger attaching: halting execution"
5	reset halt
6	gdb_breakpoint_override hard
7}
8
9$_TARGETNAME configure -event gdb-detach {
10	echo "Debugger detaching: resuming execution"
11	resume
12}
13
14# Event reset-init already uses the maximum speed however adapter speed
15# inherited from stm32f7x.cfg for reset-start defaults to 2000 kHz, so
16# override that speed setting it also to the maximum speed.
17$_TARGETNAME configure -event reset-start {
18        adapter speed 4000
19}
20