To pile on the list of supported RTOSes, my favorite has supported the Pi pico for a while.

https://docs.zephyrproject.org/latest/boards/arm/rpi_pico/do...