tcl/board: add pico-debug support
[fw/openocd] / tcl / target / marvell / 88f3710.cfg
2017-12-20 Jiri Kastnerconfigs for Marvell Armada 3700