Files
firmware/bin/run-openocd.sh