tcl/board: add SPDX tag

[fw/openocd] / tcl / board / stm32f4discovery.cfg

diff --git a/tcl/board/stm32f4discovery.cfg b/tcl/board/stm32f4discovery.cfg
index 33bcaa61c265b4da7a96504363af534937c20bf5..714f1e90322916c90b4b6f05642fd2ff30427002 100644 (file)
--- a/tcl/board/stm32f4discovery.cfg
+++ b/tcl/board/stm32f4discovery.cfg
@@ -1,6 +1,15 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 # This is an STM32F4 discovery board with a single STM32F407VGT6 chip.
 # http://www.st.com/internet/evalboard/product/252419.jsp
 
-source [find interface/stlink-usb.cfg]
+source [find interface/stlink.cfg]
+
+transport select hla_swd
+
+# increase working area to 64KB
+set WORKAREASIZE 0x10000
+
+source [find target/stm32f4x.cfg]
 
-source [find target/stm32f4x_stlink.cfg]
+reset_config srst_only