From 06866bb2c5bd708afc04b68351fa4021d423cf81 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Wed, 1 Apr 2015 18:35:46 -0600
Subject: [PATCH] Fix some missing inclusions in include/nuttx/board.h

---
 include/nuttx/board.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/include/nuttx/board.h b/include/nuttx/board.h
index 48c99521537..8efa6466879 100644
--- a/include/nuttx/board.h
+++ b/include/nuttx/board.h
@@ -100,6 +100,10 @@
 
 #include <nuttx/config.h>
 
+#include <stdint.h>
+
+#include <nuttx/compiler.h>
+
 #ifdef CONFIG_ARCH_IRQBUTTONS
 #  include <nuttx/irq.h>
 #endif