AM2431: connecting to am2431 with OpenOCD

Part Number: AM2431

Hi, I'm trying to connect to am2431 cpu with xds110 and openocd.

There's no specific config for am2431, however it seems similar enough to am 642.
So I've added an entry into ti_k3.cfg (into the big switch that decides which CPU is used):

	am2431 {
		set _CHIPNAME am2431
		set _K3_DAP_TAPID 0x0bb3802f

		set _armv8_cpu_name a53
		set _armv8_cores 0

		set _r5_cores 1
		set R5_NAMES {main0_r5.0}
		set R5_DBGBASE {0x9d410000}
		set R5_CTIBASE {0x9d418000}

		set _gp_mcu_cores 1
	}

Which seems to work, however I wanted to ask,
what are the TAP IDs and DBG and CTI bases for am2431? and where would I find this info for future reference?

Thanks in advance