tcl/target/stm32l4x: switch to new TPIU/SWO support
[fw/openocd] / tcl / board / sifive-hifive1-revb.cfg
2020-06-14 Alistair Francisboard: Add the HiFive1 revB board configuration