The builtin rtc is available as machine.RTC (see class RTC – real time clock — MicroPython latest documentation). The external RTC must be instantiated with the pcf85063a driver (see pimoroni-pico/micropython/modules/pcf85063a at main · pimoroni/pimoroni-pico · GitHub).