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