Not tried it yet, but I'm sure I recollect "official" advice to use the FreeRTOS version from the pico's repositories. Possibly the changes there have made it back to the master repository now.
Statistics: Posted by stevend — Thu Feb 20, 2025 1:09 pm