board:
  name: tofu65
  vendor: kbdfans
  socs:
    - name: rp2040