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

CMake: Mark config options as advanced

Browse Source 
This removes them from appearing in the CMake configuration cache and
being confusing.
This commit is contained in:
Kent McLeod
2019-09-15 14:04:20 +10:00
parent af9a046031
commit e93e45a123
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
config.cmake
View File

@@ -125,6 +125,7 @@ if(DEFINED KernelDTSList AND (NOT "${KernelDTSList}" STREQUAL ""))
if("${STAT_TOOL}" STREQUAL "STAT_TOOL-NOTFOUND") if("${STAT_TOOL}" STREQUAL "STAT_TOOL-NOTFOUND")
message(FATAL_ERROR "Cannot find 'stat' program.") message(FATAL_ERROR "Cannot find 'stat' program.")
endif() endif()
mark_as_advanced(DTC_TOOL STAT_TOOL)
# Generate final DTS based on Linux DTS + seL4 overlay[s] # Generate final DTS based on Linux DTS + seL4 overlay[s]
foreach(entry ${KernelDTSList}) foreach(entry ${KernelDTSList})
get_absolute_source_or_binary(dts_tmp ${entry}) get_absolute_source_or_binary(dts_tmp ${entry})
@@ -264,6 +265,9 @@ find_file(
DOC "A C file providing the symbols ksDomSchedule and ksDomeScheudleLength \ DOC "A C file providing the symbols ksDomSchedule and ksDomeScheudleLength \
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)
mark_as_advanced(KernelDomainSchedule)
endif()
config_string( config_string(
KernelNumPriorities NUM_PRIORITIES "The number of priority levels per domain. Valid range 1-256" KernelNumPriorities NUM_PRIORITIES "The number of priority levels per domain. Valid range 1-256"