diff --git a/configs/stm32f4discovery/src/stm32f4discovery.h b/configs/stm32f4discovery/src/stm32f4discovery.h
index 5c29e38b793..d907e1e4d21 100644
--- a/configs/stm32f4discovery/src/stm32f4discovery.h
+++ b/configs/stm32f4discovery/src/stm32f4discovery.h
@@ -68,6 +68,7 @@
 #define HAVE_USBMONITOR 1
 #define HAVE_SDIO       1
 #define HAVE_RTC_DRIVER 1
+#define HAVE_ELF        1
 
 /* Can't support USB host or device features if USB OTG FS is not enabled */
 
@@ -140,6 +141,13 @@
 #  undef HAVE_RTC_DRIVER
 #endif
 
+/* ELF */
+
+#if defined(CONFIG_BINFMT_DISABLE) || !defined(CONFIG_ELF)
+#  undef HAVE_ELF
+#endif
+
+
 /* STM32F4 Discovery GPIOs **************************************************/
 /* LEDs */