Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / board / smdk6410.cfg
2011-05-29 Damjan MarionSMDK6410 is not target, move file to board