From 2f0a0e1c30ced618f1c311669cd6f01f83bc9370 Mon Sep 17 00:00:00 2001
From: David Sidrane <david_s5@nscdg.com>
Date: Mon, 12 Dec 2016 15:37:51 -1000
Subject: [PATCH] Added nuttx/arch API

---
 src/platforms/px4_config.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/platforms/px4_config.h b/src/platforms/px4_config.h
index 22879330fd..ceeb62f683 100644
--- a/src/platforms/px4_config.h
+++ b/src/platforms/px4_config.h
@@ -42,6 +42,7 @@
 #if defined(__PX4_NUTTX)
 
 #include <nuttx/config.h>
+#include <nuttx/arch.h>
 #include <board_config.h>
 #include "px4_micro_hal.h"