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