On PlatformIO / Arduino, by default the TIMER_BASE_CLK
is 80 MHz
(the maximum frequency the ESP32 can run at).
If you want to verify this yourself, use this firmware:
#include <Arduino.h> void setup() { Serial.begin(115200); Serial.println(getCpuFrequencyMhz()); } void loop() { }