[fedora-arm] Re: RPi4 and support for RTC DS3231

On 19 Oct 2023, at 17:28, Peter Robinson <pbrobinson@gmail.com> wrote:

You'll need to follow the general section for HAT support (it's
basically any HW that needs an overlay) and reboot and it should work:
https://fedoraproject.org/w/index.php?title=Architectures/ARM/Raspberry_Pi/HATs#General_configuration

That RTC is supported by the rtc-ds1307 driver.

I missed the link at the end of the config.txt  that was Fedora specific.

Maybe you could put that Fedora specific comment at the start of config.txt in a future release?

I have followed the steps and the RTC is working.

I would like to add a section on the RTC to the docs. If that is useful how do I go about doing that?

But I have lost the HDMI console. I can ssh into the system and it is otherwise working.

I see the boot sequence, u-boot, grub, last message on screen is the Fedoara kernel line

announcing its version. After a few seconds where I would expect to see systemd messages

instead the monitor goes into standby.

Do I need to change setting in config.txt to make the HDMI work?

Here is my config.txt:

$ cat /boot/efi/config.txt | grep -v -e '^#' -e '^$'

[pi4]

dtoverlay=upstream-pi4

arm_boost=1

dtoverlay=vc4-kms-v3d-pi4

dtoverlay=cma,cma-256

max_framebuffers=2

dtoverlay=i2c-rtc,ds3231

[cm4]

otg_mode=1

[all]

arm_64bit=1

kernel=rpi-u-boot.bin

dtoverlay=upstream

enable_uart=1

bootcode_delay=1

gpu_mem=32

start_x=1

camera_auto_detect=1

display_auto_detect=1

hdmi_ignore_cec_init=1

Barry