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

cmake: add a sanity check

Browse Source 
Signed-off-by: Axel Heider <axel.heider@hensoldt.net>
This commit is contained in:
Axel Heider
2022-09-29 18:00:48 +02:00
committed by Gerwin Klein
parent 5c631eeeb8
commit e22412b2be
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
configs/seL4Config.cmake
View File

@@ -60,6 +60,8 @@ macro(declare_seL4_arch sel4_arch)
config_set(KernelWordSize WORD_SIZE 64)
set(Kernel64 ON CACHE INTERNAL "")
set(Kernel32 OFF CACHE INTERNAL "")
else()
message(FATAL_ERROR "unsupported seL4 architecture: '${sel4_arch}'")
endif()
endmacro()