diff --git a/boards/arm/stm32f7/stm32f769i-disco/src/stm32_appinitialize.c b/boards/arm/stm32f7/stm32f769i-disco/src/stm32_appinitialize.c
index b73e68247e4..5acc247e85a 100644
--- a/boards/arm/stm32f7/stm32f769i-disco/src/stm32_appinitialize.c
+++ b/boards/arm/stm32f7/stm32f769i-disco/src/stm32_appinitialize.c
@@ -38,6 +38,7 @@
  ****************************************************************************/
 
 #include <nuttx/config.h>
+#include <sys/types.h>
 
 #include "stm32f769i-disco.h"