I am trying to reflash a bricked gumstix (verdex pro) with openocd and gumstix's jtag adapter (jtagpro).  I am following the instructions on this link: http://wiki.gumstix.org/index.php?title=Verdex_JTAG

However, I do not know which config file I need for the following step: 

$ ./src/openocd -s tcl -f tcl/interface/flyswatter.cfg -f tcl/board/verdex.cfg

Any suggestions?

Thank you,

Jeff

--
Jeffrey Tonn
Electrical Engineer
MicroStrain, Inc., a Lord Company
459 Hurricane Lane
Williston, VT 05495
1.802.862.6629 ext. 7071
www.microstrain.com