I may have missed something but I can’t find any libraries or examples for the Raspberry Pi Pico Audio pack.
The product page refers to the Pico SDK but, other than bit banging the audio into the card using DMA or manually toggling the GPIO pins I can’t see any higher level support.
Have I missed something or am I going to have to start reading up on the DMA, timer and interrupt functions and roll my own driver?