board: ti_am437x_idk: default to 1000kHz
[fw/openocd] / tcl / board / ti_am437x_idk.cfg
2015-11-13 Felipe Balbiboard: ti_am437x_idk: default to 1000kHz
2015-04-14 Felipe Balbitcl: board: add AM437x IDK support