getting freeRTOS to work with pico w and ARduino IDE

[sw0rdd]

After I downloaded the board manager I get the pico to work with the arduino IDE but without freeRTOS
when I use a simple freeRTOS program it compiles but I cant open the serial port and select the port dev/ttyACM0
I cant select port see this
here is my code in this

I am beginner to C/C++ and RTOS

[earlephilhower]

Try the latest release. 3.7.1 There was a FreeRTOS task switching corner case which was corrected.