board:
  name: mikroe_mini_m4_for_stm32
  full_name: MINI-M4 for STM32
  vendor: mikroe
  socs:
    - name: stm32f415xx