diff --git a/configs/stm32f746-ws/src/stm32_appinitialize.c b/configs/stm32f746-ws/src/stm32_appinitialize.c
index 689bea75fe8..0a58e61e36f 100644
--- a/configs/stm32f746-ws/src/stm32_appinitialize.c
+++ b/configs/stm32f746-ws/src/stm32_appinitialize.c
@@ -100,6 +100,7 @@ int board_app_initialize(void)
     }
 #endif
 
+#ifdef CONFIG_STM32F7_SDMMC1
   /* Initialize the SDIO block driver */
 
   int ret = OK;
@@ -110,6 +111,7 @@ int board_app_initialize(void)
 	  ferr("ERROR: Failed to initialize MMC/SD driver: %d\n", ret);
 	  return ret;
 	}
+#endif
 
   return OK;
 }
diff --git a/configs/stm32f746-ws/src/stm32_sdmmc.c b/configs/stm32f746-ws/src/stm32_sdmmc.c
index bdbe7a7f655..4169d511a20 100644
--- a/configs/stm32f746-ws/src/stm32_sdmmc.c
+++ b/configs/stm32f746-ws/src/stm32_sdmmc.c
@@ -1,5 +1,5 @@
 /****************************************************************************
- * config/stm32f746-ws/src/stm32_sdio.c
+ * config/stm32f746-ws/src/stm32_sdmmc.c
  *
  *   Copyright (C) 2014 Gregory Nutt. All rights reserved.
  *   Author: Gregory Nutt <gnutt@nuttx.org>