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