OpenOCD OpenOCD is used to flash firmware to Dexter Industries robots. Includes config files and pre-compiled OpenOCD binary. To Install curl --silent https://raw.githubusercontent.com/DexterInd/openocd/master/openocd_install.sh | bash in the advent of a new Pi architecture, check out https://github.com/sean-lawless/computersystems/blob/master/Lab5%20Timed%20LED/boards/rpi/openocd_rpi_jtag.cfg