In addition to the Pi Pico SDK it is possible to use FreeRTOS as operating system on the Raspberry Pi Pico. How this is done can be read in my newest article.