# http://www.xilinx.com/products/boards-and-kits/ek-k7-kc705-g.html source [find interface/ftdi/digilent-hs1.cfg] source [find cpld/xilinx-xc7.cfg] source [find cpld/jtagspi.cfg] source [find fpga/xilinx-xadc.cfg] source [find fpga/xilinx-dna.cfg] adapter_khz 25000 # example command to write bitstream, soft-cpu bios and runtime: # openocd -f board/kc705.cfg -c "init;\ # jtagspi_init 0 bscan_spi_xc7k325t.bit;\ # jtagspi_program bitstream-kc705.bin 0;\ # jtagspi_program bios.bin 0xaf0000;\ # jtagspi_program runtime.fbi 0xb00000;\ # xc7_program xc7.tap;\ # exit"