On Mon, 11 Sep 2023 21:35:19 +0800
Chen-Yu Tsai [off-list ref] wrote:

Hi Chen-Yu,

[...]

quoted

Regarding multiple RTCs: I didn't find anything which assigns a
priority level to multiple RTCs in the system. What you can do on the
userland side is to have a udev rule that links the PCF device to
/dev/rtc, so that most tools would use that as a time source.  

You can add DT aliases to override the numbering, thus making an external
one rtc0 and the internal one rtc1. See
arch/arm/boot/dts/allwinner/sun6i-a31-hummingbird.dts for such an example.

Ah, excellent, I somehow missed this. That should indeed solve that
problem.

Thanks for the heads up!
Andre