tcl/board: add SPDX tag

[fw/openocd] / tcl / board / kc705.cfg

diff --git a/tcl/board/kc705.cfg b/tcl/board/kc705.cfg
index 39f7fa39c22db9f98af9576b29d8fafdd9416cb9..fad9fff4dfd58f8ec0a5e471f5d87b504c2244d2 100644 (file)
--- a/tcl/board/kc705.cfg
+++ b/tcl/board/kc705.cfg
@@ -1,9 +1,13 @@
+# 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]
-adapter_khz 25000
+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;\