@mossmann ironically this is probably the most open source hardware they have done so far haha
Pico itself is KiCad (E: ok only reference design so far) and half the CPU cores are an open source design (at least the gateware)