Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / board / uptech_2410.cfg
2011-06-02 Bearuptech2410