From c4a337389c5e4edb93893b5333baa25c3dc03b15 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Thu, 30 Apr 2015 14:32:30 -0600
Subject: [PATCH] STM32F4-Discovery: Part of logic to initialize the ELF loaded
 in the board startup logic.  From Leo aloe3132

---
 configs/stm32f4discovery/src/stm32f4discovery.h | 8 ++++++++
 1 file changed, 8 insertions(+)

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 */