OpenOCD config file for Raspberry Pi4

rpi4.cfg

set _CHIPNAME rpi4
set _DAP_TAPID 0x4ba00477

adapter_khz 8192

# taken from the forum: https://www.raspberrypi.org/forums/viewtopic.php?t=252551

transport select jtag
reset_config trst_and_srst

telnet_port 4444

# create tap
jtag newtap auto0 tap -irlen 4 -expected-id $_DAP_TAPID

# create dap
dap create auto0.dap -chain-position auto0.tap

set CTIBASE {0x80420000 0x80520000 0x80620000 0x80720000}
set DBGBASE {0x80410000 0x80510000 0x80610000 0x80710000}

set _cores 4

set _TARGETNAME $_CHIPNAME
set _CTINAME $_CHIPNAME.cti
set _smp_command ""

for {set _core 0} {$_core < $_cores} { incr _core} {
  cti create $_CTINAME.$_core -dap auto0.dap -ap-num 0 -ctibase [lindex $CTIBASE $_core]

  set _command "target create ${_TARGETNAME}.$_core aarch64 \
                -dap auto0.dap -dbgbase [lindex $DBGBASE $_core] \
                -coreid $_core -cti $_CTINAME.$_core"
  if {$_core != 0} {
    set _smp_command "$_smp_command $_TARGETNAME.$_core"
  } else {
    set _smp_command "target smp $_TARGETNAME.$_core"
  }

  eval $_command
}

eval $_smp_command
targets $_TARGETNAME.0