I have just uploaded the PCB files (Eagle and Gerber formats) for a Raspberry Pi Pico development board I've created.
Here's a link to the information:
The PicoDev board incorporates two Pico devices, one programmed as a PicoProbe to allow downloading and remote debugging of code to a target Pico (or Pico-W) device. It also incorporates breakout pins for the target Pico along with specialized breakouts for the SPI, I2C, and Analog busses. The board also has a Sparkfun Qwiic connector on it. There is a 3.3V voltage regulator on board to supply extra current for I2C peripherals (and other devices attached to the board).
I'm not selling these (I designed and made a batch for my personal use), but I've made the design open source/open hardware, so feel free to use the design any way you like.
By the way, although this should be clear to anyone who has programmed Picos for a while, when programming I2C (and SPI) ports on the Pico, be sure to use GPn (GPIO) numbers rather than Pico pin numbers.
On the PicoDev board, the PCB lists pin numbers beside all the pins. Don't use these as the values when initializing the I2C ports. For example, the PicoDev's I2C ports are on pins 26 and 27 but this is GP20 and GP21. So use 20 and 21 when initializing the I2C port.
Cheers,
Randy Hyde