I don't think you can, not without recompiling the ESP-IDF libraries Arduino uses. Is there any reason you need to? If you need high-resolution timer callbacks, it's usually better to use things like ESP-IDFs esp_timer rather than increasing the tick rate. I also think about recompilation! Yeah. Th...

What is the proper way to modify 'CONFIG_FREERTOS_HZ' in 'Arduino ESP32', similar to using 'menuconfig' in 'ESP-IDF'?