Just to add that you should probably just ignore the SD card and use Espruino's built-in one for now.
I will be adding support for SD cards on pins that you supply, but that'll be a month or two away.
SD card support on pins would be excellent - it would mean Pico could make use of the SD card reader that comes on the ILI9341 display boards.
@Gordon started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Just to add that you should probably just ignore the SD card and use Espruino's built-in one for now.
I will be adding support for SD cards on pins that you supply, but that'll be a month or two away.