board: add TM4C123G LaunchPad config
[fw/openocd] / tcl / board / stm3241g_eval_stlink.cfg
index d17cdd935e7774df87b9a071c34e61d0ef21e334..4e3beb92584a3c2a50dfd39d65c66bd9c9b4bbd4 100644 (file)
@@ -13,3 +13,6 @@ set WORKAREASIZE 0x20000
 set CHIPNAME STM32F417IGH6
 
 source [find target/stm32f4x_stlink.cfg]
+
+# use hardware reset, connect under reset
+reset_config srst_only srst_nogate