tcl/interface: add SPDX tag
[fw/openocd] / tcl / interface / ftdi / pipistrello.cfg
1 # SPDX-License-Identifier: GPL-2.0-or-later
2
3 # http://pipistrello.saanlima.com/
4 # http://www.saanlima.com/download/pipistrello-v2.0/pipistrello_v2_schematic.pdf
5 adapter driver ftdi
6 ftdi device_desc "Pipistrello LX45"
7 ftdi vid_pid 0x0403 0x6010
8 # interface 1 is the uart
9 ftdi channel 0
10 # just TCK TDI TDO TMS, no reset
11 ftdi layout_init 0x0008 0x000b
12 reset_config none
13 # this generally works fast: the fpga can handle 30MHz, the spi flash can handle
14 # 54MHz with simple read, no dummy cycles, and wait-for-write-completion
15 adapter speed 10000