target: ls1088a: Add service processor
[fw/openocd] / tcl / board / pipistrello.cfg
2015-08-06 Robert Jordenspipistrello: ftdi-jtag/spartan6/jtagspi board