tcl/board/kc705.cfg

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