How to transfer this RP2040/RTOS program from Arduino IDE to Platformio?

I have in the Arduino IDE a RPI Pico RP2040 sketch that imports FreeRTOS. How do I do the same with platformio? Currently the build in platformio fails on an unknown inclusion of FreeRTOS.

My platformio.ini

[env:pico]
platform = raspberrypi
board = pico
framework = arduino

Error under platformio

Board definitions for Arduino IDE:
https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json

Sketch in Arduino IDE

Board selection in Arduino IDE

Read full topic