# ref: http://www.raspberrypi.org/forums/viewtopic.php?f=72&t=100268
#    : http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.ddi0464f/ch10s06s01.html

adapter speed 1000
adapter srst delay 400
reset_config none

if { [info exists CHIPNAME] } {
set _CHIPNAME $CHIPNAME
} else {
set _CHIPNAME bcm2837
}

#
# Main DAP
#
if { [info exists DAP_TAPID] } {
   set _DAP_TAPID $DAP_TAPID
} else {
   set _DAP_TAPID 0x4ba00477
}

jtag newtap $_CHIPNAME dap -irlen 4 -ircapture 0x1 -irmask 0xf -expected-id $_DAP_TAPID -enable

proc bcm2837_create_core {_CHIPNAME corenum corebase ctibase} {
	set _TARGETNAME $_CHIPNAME.cpu.$corenum
	target create $_TARGETNAME aarch64 -chain-position $_CHIPNAME.dap -coreid $corenum -dbgbase $corebase -ctibase $ctibase

	$_TARGETNAME configure -event reset-assert-post "aarch64 dbginit"
	$_TARGETNAME configure -event gdb-attach { halt }
}

bcm2837_create_core $_CHIPNAME 0 0x80010000 0x80018000