1board: 2 name: gr716a_mini 3 full_name: GR716-MINI Development Board 4 vendor: gaisler 5 socs: 6 - name: gr716a 7