[shirleyquirk]

You can get third party rp2040 modules or just the raw chip, easily. Not with the (proprietary licensed?) Wifi stuff, and definitely not official.

[asddubs]

you're thinking of the pico, the zero is just a smaller, less powerful raspi running raspbian