Esp32S3 : Is there a timer in the RTC domain ?

[ThomasESP32]

Good afternoon,

I am working with an Esp32S3 and I am looking for a timer that I can read from a program running
under the ULP RiscV processor.

The goal would be to have a timer running that I can read in order to determine the amount of
time elapsed between to part of the ULP RISCV program.

Do you know if it is possible please ?
Thank you for your help,

Best regards,

[MicroController]

The only actual timer I could find for the ULP is the RTC timer itself, by default running at ~150kHz.

Besides that, there's also the RISC-V ULP's CPU cycle counter (~17MHz, IIRC).