+# 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/jtagspi.cfg]
source [find fpga/xilinx-xadc.cfg]
source [find fpga/xilinx-dna.cfg]
-adapter_khz 25000
+adapter speed 25000
# example command to write bitstream, soft-cpu bios and runtime:
# openocd -f board/kc705.cfg -c "init;\