openocd/tcl/board/kc705.cfg

# 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 speed 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"