diff --git a/platforms/nuttx/src/px4/nxp/s32k1xx/watchdog/iwdg.c b/platforms/nuttx/src/px4/nxp/s32k1xx/watchdog/iwdg.c
index 98994df012..07c2357001 100644
--- a/platforms/nuttx/src/px4/nxp/s32k1xx/watchdog/iwdg.c
+++ b/platforms/nuttx/src/px4/nxp/s32k1xx/watchdog/iwdg.c
@@ -34,7 +34,6 @@
 
 #include <nuttx/config.h>
 #include "arm_internal.h"
-#include "arm_arch.h"
 #include "chip.h"
 
 #include "nvic.h"