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

cmake: Support multiple overlay files

Browse Source 
Allow multiple overlay files to be specified. This supports custom
tooling support to add additional memory reserve regions to a platform.

Signed-off-by: Kent McLeod <kent@kry10.com>
This commit is contained in:
Kent McLeod
2024-02-02 10:56:28 +11:00
committed by Kent McLeod
parent 245c07fa2e
commit 76eee24323
1 changed files with 10 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
config.cmake
View File

@@ -124,15 +124,19 @@ if(DEFINED KernelDTSList AND (NOT "${KernelDTSList}" STREQUAL ""))
set(config_schema "${CMAKE_CURRENT_SOURCE_DIR}/tools/hardware_schema.yml") set(config_schema "${CMAKE_CURRENT_SOURCE_DIR}/tools/hardware_schema.yml")
set( set(
KernelCustomDTSOverlay "" KernelCustomDTSOverlay ""
CACHE FILEPATH "Provide an additional overlay to append to the selected KernelPlatform's \ CACHE
STRING
"Provide an additional list of overlays to append to the selected KernelPlatform's \
device tree during build time" device tree during build time"
) )
if(NOT "${KernelCustomDTSOverlay}" STREQUAL "") if(NOT "${KernelCustomDTSOverlay}" STREQUAL "")
if(NOT EXISTS ${KernelCustomDTSOverlay}) foreach(dts_entry IN ITEMS ${KernelCustomDTSOverlay})
message(FATAL_ERROR "Can't open external overlay file '${KernelCustomDTSOverlay}'!") if(NOT EXISTS ${dts_entry})
endif() message(FATAL_ERROR "Can't open external overlay file '${dts_entry}'!")
list(APPEND KernelDTSList "${KernelCustomDTSOverlay}") endif()
message(STATUS "Using ${KernelCustomDTSOverlay} overlay") list(APPEND KernelDTSList "${dts_entry}")
message(STATUS "Appending ${dts_entry} overlay")
endforeach()
endif() endif()
find_program(DTC_TOOL dtc) find_program(DTC_TOOL dtc)