tcl: board: mini2440: fix to work with the current version
[fw/openocd] / tcl / board / rpi3.cfg
2021-07-31 Jian-Hong Pantcl/board: Add Raspberry Pi 3 board