source [find interface/ftdi/olimex-arm-usb-tiny-h.cfg]
set CHIPNAME tm4c1294kcpd
source [find target/stellaris.cfg]

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