flash/stm32l4x: add support of STM32U57x/U58x
[fw/openocd] / tcl / board / pipistrello.cfg
2015-08-06 Robert Jordenspipistrello: ftdi-jtag/spartan6/jtagspi board