tcl/target/stm32l4x: switch to new TPIU/SWO support
[fw/openocd] / tcl / board / xmc4700-relax.cfg
2015-12-29 Andreas Färbertcl/board: Add Infineon XMC4700 Relax Kit Series config