Raspberry Pi sells the RP2040 chip separately for only $1