tcl/board/kc705.cfg

   1 # SPDX-License-Identifier: GPL-2.0-or-later
   2
   3 # http://www.xilinx.com/products/boards-and-kits/ek-k7-kc705-g.html
   4
   5 source [find interface/ftdi/digilent-hs1.cfg]
   6 source [find cpld/xilinx-xc7.cfg]
   7 source [find cpld/jtagspi.cfg]
   8 source [find fpga/xilinx-xadc.cfg]
   9 source [find fpga/xilinx-dna.cfg]
  10 adapter speed 25000
  11
  12 # example command to write bitstream, soft-cpu bios and runtime:
  13 # openocd -f board/kc705.cfg -c "init;\
  14 # jtagspi_init 0 bscan_spi_xc7k325t.bit;\
  15 # jtagspi_program bitstream-kc705.bin 0;\
  16 # jtagspi_program bios.bin 0xaf0000;\
  17 # jtagspi_program runtime.fbi 0xb00000;\
  18 # xc7_program xc7.tap;\
  19 # exit"