1board:
2  name: rpi_4b
3  full_name: Raspberry Pi 4 Model B (Cortex-A72)
4  vendor: raspberrypi
5  socs:
6  - name: bcm2711
7