1board: 2 name: arduino_giga_r1 3 full_name: Arduino GIGA R1 WiFi 4 vendor: arduino 5 socs: 6 - name: stm32h747xx 7