tcl/boards: Rename 'dk-tm4c129.cfg' to 'ti_dk-tm4c129.cfg'
[fw/openocd] / tcl / board / digilent_zedboard.cfg
2014-03-29 Tim Sandertcl: add Zynq-7000 target and Zedboard board configs