1board:
2  name: frdm_k64f
3  full_name: FRDM-K64F
4  vendor: nxp
5  socs:
6    - name: mk64f12
7