ESP32 FreeRTOS scheduler

Good day. I’m curious about which ESP32 hardware timer the freeRTOS’s scheduler uses to switch tasks.

Look at the function prvSetUpTickInterrupt() in their port.c file.