tcl/target/stm32f4x: fix hardcoded chip name
[fw/openocd] / tcl / interface / jtag_dpi.cfg
2020-10-03 Kevin BurkeARM|Driver: Add DPI Driver for emulation