use gpio module to display raspberry pi pins
[x300-pci] / openocd-jtag / stm32vldiscovery_bs.tcl
2016-06-11 Paul Fertseropenocd jtag pin toggle