Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / board / efikamx.cfg
2010-11-05 Marek VasutAdd EfikaMX smarttop board support