With a project I have in arduinoespressif32, I have been wanting to enable the option for tickless IDLE, option found under FreeRTOS.h labeled “configUSE_TICKLESS_IDLE” and defined in FreeRTOSConfig.h as “CONFIG_FREERTOS_USE_TICKLESS_IDLE”. Am I able to enable this option somehow within platformIO? From my current understanding (which could be wrong) if I wanted to do this within the ESP-IDF I would change it in the menuconfig or the sdkconfig, which seems to be precompiled and unable to be edited when doing things through platformio’s arduinoespressif. Any help would be appreciated!