What is the default PlatformIO / Arduino ESP32 CPU clock frequency?

On PlatformIO / Arduino, by default the ESP32 clock frequency is 80 MHz (the default 240 MHzCPU 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() {
}