In the esp-idf framework for the esp32 I can modify the freertos configuration by running
pio run -t menuconfig
I thought it was the same for the esp8266-rtos-sdk framework however I got the following error:
scons: *** Do not know how to make File target `menuconfig’ (E:\Data\PlatformIO\8266test_rtos\menuconfig). Stop.
PlatformIO does not have support for the latest esp8266-rtos-sdk version, it is several years behind. That one doesn’t have ESP-IDF structure and doesn’t support menuconfig.
You cannot easily change the FreeRTOS configuration because it is not compiled from source but statically linked.
The file C:\Users\<user>\.platformio\packages\framework-esp8266-rtos-sdk\lib\libfreertos.a contains the precompiled version and C:\Users\<user>\.platformio\packages\framework-esp8266-rtos-sdk\include\freertos\ all the header and FreeRTOSConfig.h that it was originally compiled with. Changes to the FreeRTOSConfig.h will have no effect since it doesn’t change the precompiled .a file. Either that file is correctly configured for your application or you can’t use it.
Only the 5 source files in driver_lib/driver are dynamically compiled from source, rest is statically linked, see -l flags in final linker command and files in lib.