Most ESP32 devices will also work at 80MHz, but third party boards/modules may not have been tested at this speed so the default is kept at 40MHz for safety.
Most ESP32 devices will also work at 80MHz, but third party boards/modules may not have been tested at this speed so the default is kept at 40MHz for safety.