diff --git a/sched/Kconfig b/sched/Kconfig
index 4d63801c1e..1c94c6955d 100644
--- a/sched/Kconfig
+++ b/sched/Kconfig
@@ -916,7 +916,7 @@ config SCHED_INSTRUMENTATION
 
 if SCHED_INSTRUMENTATION
 
-config SCHED_INSTRUMENTATION_EXTENAL
+config SCHED_INSTRUMENTATION_EXTERNAL
 	bool "System performance monitor endpoints are external"
 	default n
 	---help---
diff --git a/sched/sched/sched_note.c b/sched/sched/sched_note.c
index d6839f1528..31cb20a557 100644
--- a/sched/sched/sched_note.c
+++ b/sched/sched/sched_note.c
@@ -36,7 +36,7 @@
 
 #include "sched/sched.h"
 
-#if !defined(CONFIG_SCHED_INSTRUMENTATION_EXTENAL)
+#if !defined(CONFIG_SCHED_INSTRUMENTATION_EXTERNAL)
 /****************************************************************************
  * Private Types
  ****************************************************************************/
@@ -611,4 +611,4 @@ void sched_note_irqhandler(int irq, FAR void *handler, bool enter)
   note_add((FAR const uint8_t *)&note, sizeof(struct note_irqhandler_s));
 }
 #endif
-#endif /* CONFIG_SCHED_INSTRUMENTATION_EXTENAL */
+#endif /* CONFIG_SCHED_INSTRUMENTATION_EXTERNAL */