From 5bf7d0e4a7ff0b68c0f4188bdd0ff693d5c074f2 Mon Sep 17 00:00:00 2001
From: buxiasen <buxiasen@xiaomi.com>
Date: Wed, 17 Jul 2024 14:31:14 +0800
Subject: [PATCH] goldfish: boot add missing header when
 CONFIG_SCHED_INSTRUMENTATION

Signed-off-by: buxiasen <buxiasen@xiaomi.com>
Signed-off-by: ligd <liguiding1@xiaomi.com>
---
 arch/arm/src/goldfish/goldfish_boot.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/arch/arm/src/goldfish/goldfish_boot.c b/arch/arm/src/goldfish/goldfish_boot.c
index b8247c6f4e..816b138af1 100644
--- a/arch/arm/src/goldfish/goldfish_boot.c
+++ b/arch/arm/src/goldfish/goldfish_boot.c
@@ -36,6 +36,11 @@
 #  include <nuttx/fdt.h>
 #endif
 
+#ifdef CONFIG_SCHED_INSTRUMENTATION
+#  include <sched/sched.h>
+#  include <nuttx/sched_note.h>
+#endif
+
 /****************************************************************************
  * Public Functions
  ****************************************************************************/