From dad0a36fddce0e4ef40bc131691e5587bf44e7a6 Mon Sep 17 00:00:00 2001
From: Matteo Golin <matteo.golin@gmail.com>
Date: Tue, 24 Feb 2026 14:54:05 -0500
Subject: [PATCH] examples/powerled: Fix board initialization compilation

When NSH_ARCHINIT is not enabled, initialization is to be performed by
boardctl(BOARDIOC_INIT). However, the boardctl header is not included so
this causes compilation to fail. This commit corrects that issue.

Signed-off-by: Matteo Golin <matteo.golin@gmail.com>
---
 examples/powerled/powerled_main.c | 4 ++++
 1 file changed, 4 insertions(+)

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>