1board:
2  name: rpi_4b
3  vendor: raspberrypi
4  socs:
5  - name: bcm2711
6