Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / NEWS-0.4.0
2010-02-21 David BrownellOpen the merge window for the 0.5.0 release cycle.