Files
firmware/run-openocd.sh