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

[micro9997]

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

[ESP_Sprite]

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.

[micro9997]

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. That’s the real problem behind this. Right?

I have to implement a 400Hz loop. Can you guide me to do this properly?

[ESP_Sprite]

Check esp_timer, it should be easily able to give you 400Hz. You can also use one of the hardware timers;I think Arduino has support for those built-in.