tcl/target: add SPDX tag
[fw/openocd] / tcl / target / exynos5250.cfg
1 # SPDX-License-Identifier: GPL-2.0-or-later
2
3 #
4 # Samsung Exynos 5250 - dual-core ARM Cortex-A15
5 #
6
7 if { [info exists CHIPNAME] } {
8         set _CHIPNAME $CHIPNAME
9 } else {
10         set _CHIPNAME exynos5250
11 }
12
13 if { [info exists CPUTAPID] } {
14         set _CPUTAPID $CPUTAPID
15 } else {
16         set _CPUTAPID 0x4ba00477
17 }
18
19 jtag newtap $_CHIPNAME cpu -irlen 4 -expected-id $_CPUTAPID
20
21 set _TARGETNAME $_CHIPNAME.cpu
22 dap create $_CHIPNAME.dap -chain-position $_CHIPNAME.cpu
23 target create ${_TARGETNAME}0 cortex_a -dap $_CHIPNAME.dap
24 target create ${_TARGETNAME}1 cortex_a -dap $_CHIPNAME.dap
25
26 target smp ${_TARGETNAME}0 ${_TARGETNAME}1