tcl/target/stm32f4x: fix name
[fw/openocd] / tcl / board / kwikstik.cfg
1 #
2 # Freescale KwikStik development board
3 #
4
5 #
6 # JLINK interface is onboard
7 #
8 source [find interface/jlink.cfg]
9
10 source [find target/k40.cfg]
11
12 reset_config trst_and_srst