tcl: board: mini2440: fix to work with the current version
[fw/openocd] / tcl / chip / ti /
2022-06-24 Antonio Borneotcl: add SPDX tag
2011-10-18 Spencer Oliverluminary: add peripheral reset script