tcl/board: add pico-debug support
[fw/openocd] / tcl / board / pipistrello.cfg
2015-08-06 Robert Jordenspipistrello: ftdi-jtag/spartan6/jtagspi board