rp2350 supports freertos, so a similar port should be fairly trivial.

The io DMA code is a little special on the Pico. Very capable little chip. =3