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"