Use hardware reset and connect under reset on boards with ST-LINK/V2, as
[fw/openocd] / tcl / board / verdex.cfg
2011-10-01 Ash CharlesVerdex: Add support for Gumstix Verdex boards.