Files
chipyard/scripts/build-openocd.sh
T