Added nuttx/arch API

8 years ago · 2f0a0e1c30
1 changed files with 1 additions and 0 deletions
--- a/src/platforms/px4_config.h
+++ b/src/platforms/px4_config.h
@ -42,6 +42,7 @@
				@@ -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"