tcl/boards: Rename 'dk-tm4c129.cfg' to 'ti_dk-tm4c129.cfg'
[fw/openocd] / tcl / board / bluefield.cfg
1 #
2 # Board configuration for BlueField SoC.
3 #
4
5 source [find interface/rshim.cfg]
6 source [find target/bluefield.cfg]