riscv-openocd/tcl/board/dk-tm4c129.cfg

4 lines
132 B
INI

echo "WARNING: board/dk-tm4c129.cfg is deprecated, please switch to board/ti_dk-tm4c129.cfg"
source [find board/ti_dk-tm4c129.cfg]