source [find interface/ftdi/olimex-arm-usb-ocd-h.cfg]

set WORKAREASIZE 0x10000

transport select jtag

source [find target/stm32f4x.cfg]

adapter_khz 1000
adapter_nsrst_delay 100
jtag_ntrst_delay 100

reset_config srst_only srst_nogate

$_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
}