tcl/target/stm32l4x: switch to new TPIU/SWO support
[fw/openocd] / tcl / chip / atmel /
drwxr-xr-x   ..
drwxr-xr-x - at91