RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

Fix typo in comment for KernelDomainSchedule

Browse Source 
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
This commit is contained in:
Ivan Velickovic
2023-08-02 00:52:44 +10:00
committed by Gerwin Klein
parent 49f4ddfc8c
commit 5d72742377
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
config.cmake
View File

@@ -304,7 +304,7 @@ find_file(
KernelDomainSchedule default_domain.c KernelDomainSchedule default_domain.c
PATHS src/config PATHS src/config
CMAKE_FIND_ROOT_PATH_BOTH 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." to be linked with the kernel as a scheduling configuration."
) )
if(SEL4_CONFIG_DEFAULT_ADVANCED) if(SEL4_CONFIG_DEFAULT_ADVANCED)