General development for all Raspberry Pi Picos running the RP2040
