/testhal/TIVA/TM4C123x/EXT/debug/
../
OpenOCD on ICDI (prompts for .cfg target configuration).launch
TM4C123x-EXT (OpenOCD, Flash and Run).launch