openocd complained that it couldn't find the ek-tm4c124gxl.cfg. So, I was wondering if this should rather be ek-tm4c123gxl? When changing that it worked but a warning indicated that ek-tm4c123gxl was deprecated and ti_ek-tm4c123gxl.cfg should be used instead. That works.
openocdcomplained that it couldn't find theek-tm4c124gxl.cfg. So, I was wondering if this should rather beek-tm4c123gxl? When changing that it worked but a warning indicated thatek-tm4c123gxlwas deprecated andti_ek-tm4c123gxl.cfgshould be used instead. That works.