tcl: board: mini2440: fix to work with the current version
[fw/openocd] / tcl / target / rk3399.cfg
2021-03-10 Jiri Kastnertcl/target: add Rockchip RK3399 target