From 5d72742377f0b370df8568815954e252ee736d95 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Wed, 2 Aug 2023 00:52:44 +1000
Subject: [PATCH] Fix typo in comment for KernelDomainSchedule

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 config.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.cmake b/config.cmake
index c7f040836..f07cec723 100644
--- a/config.cmake
+++ b/config.cmake
@@ -304,7 +304,7 @@ find_file(
     KernelDomainSchedule default_domain.c
     PATHS src/config
     CMAKE_FIND_ROOT_PATH_BOTH
-    DOC "A C file providing the symbols ksDomSchedule and ksDomeScheudleLength \
+    DOC "A C file providing the symbols ksDomSchedule and ksDomScheduleLength \
         to be linked with the kernel as a scheduling configuration."
 )
 if(SEL4_CONFIG_DEFAULT_ADVANCED)