New arduino-esp32 core - no more FreeRTOS.h?

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?

1 Like

Found it myself. In platformio.ini, the platform version is required:

platform = espressif32 @ 4.1.0