FreeRTOS tick timer source on ESP32

[villaden]

Hi,
I'm trying to understand which is the interrupt source (handler) for FreeRTOS time tick.
On ARM I use the core SysTick interrupt source.
On the web I found viewtopic.php?t=18926. This topic says that an internal CPU timer is used for, but nothing more....
I tryed on official ESP32 documentation, but nothing...
Anyone could give me some tips about ESP32 FreeRTOS time tick management (which interrupt source uses)?
Thanks.

[WiFive]

https://github.com/espressif/esp-idf/bl ... ort.c#L200

[villaden]

https://github.com/espressif/esp-idf/bl ... ort.c#L200

Many thanks!!!!!!