board:
  name: arduino_giga_r1
  vendor: arduino
  socs:
    - name: stm32h747xx