Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / tcl / cpld / xilinx-xcr3256.cfg
1 #xilinx coolrunner xcr3256
2 #simple device - just configure a tap
3 jtag newtap xcr tap -irlen 5 -ircapture 0x01 -irmask 0x1f -expected-id  0x0494c093