1board:
2  name: osd32mp1_brk
3  full_name: OSD32MP1-BRK
4  vendor: oct
5  socs:
6    - name: osd32mp15x
7