From cafd3af160dc6337b48d95a60250cd3ae4eddf15 Mon Sep 17 00:00:00 2001
From: yinshengkai <yinshengkai@xiaomi.com>
Date: Mon, 3 Apr 2023 12:51:27 +0800
Subject: [PATCH] arch/boards: fix stm32f411-mininum:nsh compilation failure
 after enabling IRQMONITOR

---
 arch/arm/src/stm32/stm32_start.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/arch/arm/src/stm32/stm32_start.c b/arch/arm/src/stm32/stm32_start.c
index 08b7d21f09..9ea48fe195 100644
--- a/arch/arm/src/stm32/stm32_start.c
+++ b/arch/arm/src/stm32/stm32_start.c
@@ -30,6 +30,7 @@
 
 #include <nuttx/init.h>
 
+#include "arch/board/board.h"
 #include "arm_internal.h"
 #include "nvic.h"
 #include "mpu.h"