tcl/boards: Rename 'dk-tm4c129.cfg' to 'ti_dk-tm4c129.cfg'
[fw/openocd] / tcl / cpu /
drwxr-xr-x   ..
drwxr-xr-x - arc
drwxr-xr-x - arm