Quickly get started with Raspberry Pi Pico/RP2040 on Windows - View it on GitHub