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

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!


Hi, please check OEM DG for VDD_RTC pin A50.