source /usr/share/openocd/scripts/interface/ftdi/olimex-arm-usb-tiny-h.cfg
set CHIPNAME tm4c1294kcpd
source /usr/share/openocd/scripts/target/stellaris.cfg

program target/thumbv7em-none-eabihf/release/ionpak-firmware verify
reset
exit
