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