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)