I have a questions about TX2 rtc. from the OEM file, I know that VDD_RTC pin connects the backup cell for BPMP RTC. in /dev/ path，I see rtc0 and rtc1. rtc0 is BPMP RTC，rtc1 is rtc@c2a0000. so both of the two rtc work, is that right? and which is the default system rtc? when the carrier board poweroff, only the BPMP RTC alive, right ?
ok thank you.
you mentioned that"Both are alive if the adapter not remove.", but when remove the adapter only the rtc0 alive. so you then device power again ,will the system check the rtc0 time and set as system clock ?
will the system make the two rtc time sync?
how to change the defaut from rtc1 to rtc0? in /dev i see that rtc present as a link of rtc1, so is that the key to set default system rtc?
is there some files to help make the rtc part clearly ?