1board:
2  name: rpi_pico
3  full_name: Raspberry Pi Pico
4  vendor: raspberrypi
5  socs:
6  - name: rp2040
7    variants:
8    - name: w
9