tcl/board: add SPDX tag
[fw/openocd] / tcl / board / pipistrello.cfg
1 # SPDX-License-Identifier: GPL-2.0-or-later
2
3 # http://pipistrello.saanlima.com/
4
5 source [find interface/ftdi/pipistrello.cfg]
6 source [find cpld/xilinx-xc6s.cfg]
7 source [find cpld/jtagspi.cfg]
8
9 # example command to write bitstream, soft-cpu bios and runtime:
10 # openocd -f board/pipistrello.cfg -c "init;\
11 # jtagspi_init 0 bscan_spi_xc6slx45.bit;\
12 # jtagspi_program bitstream-pistrello.bin 0;\
13 # jtagspi_program bios.bin 0x170000;\
14 # jtagspi_program runtime.fbi 0x180000;\
15 # xc6s_program xc6s.tap;\
16 # exit"