tcl/board: add SPDX tag
[fw/openocd] / tcl / board / lpc1850_spifi_generic.cfg
1 # SPDX-License-Identifier: GPL-2.0-or-later
2
3 #
4 # Generic LPC1850 board w/ SPIFI flash.
5 # This config file is intended as an example of how to
6 # use the lpcspifi flash driver, but it should be functional
7 # for most LPC1850 boards utilizing SPIFI flash.
8
9 set CHIPNAME lpc1850
10
11 source [find target/lpc1850.cfg]
12
13 #A large working area greatly reduces flash write times
14 set _WORKAREASIZE 0x4000
15
16 $_CHIPNAME.m3 configure -work-area-phys 0x10000000 -work-area-size $_WORKAREASIZE
17
18 #Configure the flash bank; 0x14000000 is the base address for
19 #lpc43xx/lpc18xx family micros.
20 flash bank SPIFI_FLASH lpcspifi 0x14000000 0 0 0 $_CHIPNAME.m3