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