Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / board / phone_se_j100i.cfg
2012-05-25 Mathias Kboard: Add Sony Ericsson J100I Phone