source [find /usr/share/openocd/scripts/interface/luminary-icdi.cfg]
source [find /usr/share/openocd/scripts/target/lm3s9b9x.cfg]
# GDB can also flash my flash!
source [find /usr/share/openocd/scripts/interface/luminary-icdi.cfg]
source [find /usr/share/openocd/scripts/target/lm3s9b9x.cfg]
# GDB can also flash my flash!