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
14if { [info exists _ZEPHYR_BOARD_SERIAL] } {
15	adapter serial $_ZEPHYR_BOARD_SERIAL
16}
17
18# Event reset-init already uses the maximum speed however adapter speed
19# inherited from stm32f7x.cfg for reset-start defaults to 2000 kHz, so
20# override that speed setting it also to the maximum speed.
21$_TARGETNAME configure -event reset-start {
22	adapter speed 4000
23}
24