Hi NXP team,On the s32g development board, there is an RTC module that uses PCA8565TS. I would like to know the functions and usage scenarios of this module. How can I test whether this module works properly on Linux and why is there no button battery power supply?