source [find interface/stlink-v2.cfg]
transport select hla_swd
set CHIPNAME tm4c1294kcpd
set CPUTAPID 0x2ba01477
source [find target/stellaris.cfg]

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