tcl/target/stm32f4x: fix name
[fw/openocd] / tcl / board / sifive-hifive1-revb.cfg
2020-06-14 Alistair Francisboard: Add the HiFive1 revB board configuration