adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

cspec/c: provide NUM_DOMAINS build override option 

Setting the environment variable INPUT_NUM_DOMAINS will cause the
build to override the KernelNumDomains setting in the config file with
the provided setting.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2023-12-10 11:44:14 +01:00 committed by Achim D. Brucker
parent 09ae378184
commit a9ae2e51ad
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
spec/cspec/c/kernel.mk
View File

@ -108,6 +108,10 @@ ${OVERLAY}: ${DEFAULT_OVERLAY}
@cp $< $@
endif
ifdef INPUT_NUM_DOMAINS
KERNEL_CMAKE_EXTRA_OPTIONS += -DKernelNumDomains=${INPUT_NUM_DOMAINS}
endif
# Initialize the CMake build. We purge the build directory and start again
# whenever any of the kernel sources change, so that we can reliably pick up
# changes to the build config.