Jetson TX2 - Cannot find corresponding pin for VDD_RTC in Jetson developer kit

Hello,
I want to add a real time clock to my Jetson TX2 module through the Jetson TX2 developer kit and I am not able to find out the pin that connects the VDD_RTC of Jetson TX2 module and Jetson TX2 developer kit.
My requirement is simple, I want the TX2 developer kit to show correct time even when restarted without connecting to internet and whatever I have stated above is the knowledge i gathered from a little bit of research.
Hoping for some help!

Thanks,
Syed

Hi, please check OEM DG for VDD_RTC pin A50.

https://developer.nvidia.com/embedded/dlc/jetson-tx2-series-modules-oem-product-design-guide