tcl/board: add SPDX tag
[fw/openocd] / tcl / board / kasli.cfg
index 4d96a8f7c74bf1c1f3e7fdc85c959f0a34660f6a..d85e1ca15204bfcbf9a6c0481b4e7c53876273e1 100644 (file)
@@ -1,14 +1,17 @@
-interface ftdi
-ftdi_device_desc "Quad RS232-HS"
-ftdi_vid_pid 0x0403 0x6011
-ftdi_channel 0
-ftdi_layout_init 0x0008 0x000b
-# ftdi_location 1:8
+# SPDX-License-Identifier: GPL-2.0-or-later
+
+adapter driver ftdi
+ftdi device_desc "Quad RS232-HS"
+ftdi vid_pid 0x0403 0x6011
+ftdi channel 0
+ftdi layout_init 0x0008 0x000b
+# adapter usb location 1:8
 
 reset_config none
 transport select jtag
-adapter_khz 25000
+adapter speed 25000
 
 source [find cpld/xilinx-xc7.cfg]
 source [find cpld/jtagspi.cfg]
 source [find fpga/xilinx-xadc.cfg]
+source [find fpga/xilinx-dna.cfg]