From 03c26df04a2f5494cbc7744dd222f7c06f568a46 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Sun, 13 Aug 2017 06:44:04 -0600
Subject: [PATCH] STM32F7 builds broken.  This is a work around to at least
 keep them building.

---
 arch/arm/src/stm32f7/stm32f76xx77xx_rcc.c | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/arch/arm/src/stm32f7/stm32f76xx77xx_rcc.c b/arch/arm/src/stm32f7/stm32f76xx77xx_rcc.c
index 09167863db..0d784ff123 100644
--- a/arch/arm/src/stm32f7/stm32f76xx77xx_rcc.c
+++ b/arch/arm/src/stm32f7/stm32f76xx77xx_rcc.c
@@ -60,6 +60,15 @@
 
 #define HSE_DIVISOR (STM32_HSE_FREQUENCY + 500000) / 1000000
 
+/* If CONFIG_STM32F7_DSIHOST is defined in the board configuration, then
+ * STM32_RCC_DCKCFGR2_DSISRC must also be defined to selected the clock
+ * source.
+ */
+
+#ifndef STM32_RCC_DCKCFGR2_DSISRC
+#  define STM32_RCC_DCKCFGR2_DSISRC RCC_DCKCFGR2_DSISEL_PHY
+#endif
+
 /* FLASH wait states */
 
 #if !defined(BOARD_FLASH_WAITSTATES)