tcl/board: add SPDX tag
[fw/openocd] / 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"