I have an RPi4 running Fedora 38 with kernel 6.5.6-200.fc38.aarch64.
So far I figured out that I have to add this line to the config.txt
[pi4]
dtoverlay=i2c-rtc,ds3231
But after a reboot I am not seeing any /dev/rtc* devices.
Also I'm not seeing any rtc drivers load in lsmod output.
Should this work with the Fedora kernel?
If so what do I need to do to make the RTC show up?
Barry