Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / board / redbee.cfg
1 source [find target/mc13224v.cfg]