rpi board with different jtag pinout
[x300-pci] / rpi-board.cfg
2016-07-10 Dobrica Pavlinusicrpi board with different jtag pinout