From 64bcf3ec9488eb3feacaf3609e4555047cb1e762 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Tue, 14 Nov 2017 16:52:22 -0600
Subject: [PATCH] configs/stm32429i-disco/src:  Fix a compile error when
 CONFIG_BOARD_INITIALIZE is defined.

---
 configs/stm32f429i-disco/src/stm32_appinit.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/configs/stm32f429i-disco/src/stm32_appinit.c b/configs/stm32f429i-disco/src/stm32_appinit.c
index fd08d727f57..d70edff0ffd 100644
--- a/configs/stm32f429i-disco/src/stm32_appinit.c
+++ b/configs/stm32f429i-disco/src/stm32_appinit.c
@@ -39,6 +39,8 @@
 
 #include <nuttx/config.h>
 
+#include <sys/types.h>
+
 #include <nuttx/board.h>
 
 #include "stm32f429i-disco.h"