Hello Marek,
Thank you for your answer.
The main issue I get is actually to get access to all of these registers giving a possible status on the RTC or of VBAT.
Indeed, my "Battery" powering VBAT is actually a large capacitor that charges first when the board is powered on and which is able to retain sufficient power to the RTC for up to 3 days. It takes between 1 and 2 minutes to get it fully charged (depending on the tolerance on the components and on the actual power supply voltage applied to the board).
The problem with the solution you proposed is, I think, that the RTC_SR not being an access control register of the RTC, it is not accessible when the VBAT voltage is under the acceptable value to actually power up the RTC. Therefore if I try to access it (during the boot phase of linux) I will receive a bus error.
I guess the ideal would be to have an access to a register powered by the general power supply of the chip which would give us a status on VBAT (directly or indirectly with a method such as the one you proposed) to know whether or not I can make an attempt to access one of the VBAT powered register.
Regards,
Francois