diff --git a/examples/powerled/powerled_main.c b/examples/powerled/powerled_main.c
index c0b3cd29d38..4478d2ee76e 100644
--- a/examples/powerled/powerled_main.c
+++ b/examples/powerled/powerled_main.c
@@ -38,6 +38,10 @@
 #include <debug.h>
 #include <sys/ioctl.h>
 
+#ifndef CONFIG_NSH_ARCHINIT
+#include <sys/boardctl.h>
+#endif
+
 #include <nuttx/fs/fs.h>
 
 #include <nuttx/power/powerled.h>