I have to admit I am not very familiar with using OpenOCD on the TM4C, but I think what I saw was using the Stellaris ICDI connected by USB (such as the ICDI on the EK-TM4C123XL).
↧