It’s listed here:
RTC Battery for ROCK PI 4 – ALLNET China
RTC should work out of box. Just plugin the battery.