I'm having this issue too, I don't currently have access to a non Win 10 machine. I've just got my pico in the mail so it kinda sucks that I can't do anything with it yet. Am I correct to assume that I just need to update the firmware from a different device to get it to work?
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.
An suggestions for which SD card module would be easy to integrate? Or would anything go?