tcl/board: add SPDX tag

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

diff --git a/tcl/board/stm32f4discovery.cfg b/tcl/board/stm32f4discovery.cfg
index ae54e18c470c7aa03b90741528423d4a13d65c91..714f1e90322916c90b4b6f05642fd2ff30427002 100644 (file)
--- a/tcl/board/stm32f4discovery.cfg
+++ b/tcl/board/stm32f4discovery.cfg
@@ -1,9 +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-v2.cfg]
+source [find interface/stlink.cfg]
+
+transport select hla_swd
+
+# increase working area to 64KB
+set WORKAREASIZE 0x10000
 
-source [find target/stm32f4x_stlink.cfg]
+source [find target/stm32f4x.cfg]
 
-# use hardware reset, connect under reset
-reset_config srst_only srst_nogate
+reset_config srst_only