В User Manual STM32F4Discovery написано:
– IAR Embedded Workbench® for ARM (EWARM) by IAR Systems
– Microcontroller Development Kit for ARM (MDK-ARM) by Keil™
– TrueSTUDIO® by Atollic
– TASKING VX-toolset for ARM Cortex by Altium
На сайте IAR и KEIL в списках поддерживаемых контроллеров они есть.
Скачивайте последнюю версию
