For those that are wondering where things are with Micro Python and drivers etc, I highly suggest you watch this video.
Pirate Radio 0x00 - Raspberry Pi Pico software support - where we’re at! - YouTube
Thanks for sharing! I’ve been curious about Pico support too, so this video sounds like a perfect update on MicroPython and driver progress. Definitely going to check it out.
Erm, the video is from 5 years ago, so will be massively out of date…