The Raspberry Pi RP2350 microcontroller is generally available, meaning the chip can now be picked up from resellers rather than as a Pico 2 or on PCBs from manufacturers like JLC.