I did a platform upgrade today of the espressif32 platform, that seems to have brought in the current arduino-esp32 core.
Since, I get compilation errors regarding the FreeRTOS.h
file:
cannot open source file "freertos/FreeRTOS.h"
How is this resolved now? Is it obsolete or placed elsewhere?