G github.com Software defined USB port (Raspberry Pi pico RP2040) 182 points childintime 4 years ago 34 comments