board:
  name: rpi_pico
  full_name: Raspberry Pi Pico
  vendor: raspberrypi
  socs:
  - name: rp2040
    variants:
    - name: w