A FAT filesystem with SDIO and SPI drivers for SD card on Raspberry Pi Pico - View it on GitHub