board:
  name: stm32f4_disco
  full_name: STM32F4 Discovery
  vendor: st
  socs:
    - name: stm32f407xx
