4157732bd8
For historical reasons, no license information was added to the
tcl files. This makes trivial adding the SPDX tag through script:
fgrep -rL SPDX tcl/board | while read a;do \
sed -i '1{i# SPDX-License-Identifier: GPL-2.0-or-later\n
}' $a;done
With no specific license information from the author, let's extend
the OpenOCD project license GPL-2.0-or-later to the files.
Change-Id: Ibcf7da62e842aafd036a78db9ea2b9f11f79af16
Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-on: https://review.openocd.org/c/openocd/+/7028
Tested-by: jenkins
Reviewed-by: Tarek BOCHKATI <tarek.bouchkati@gmail.com>
20 lines
615 B
INI
20 lines
615 B
INI
# SPDX-License-Identifier: GPL-2.0-or-later
|
|
|
|
# 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"
|