Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

CMake: inline set_kernel_32() and set_kernel_64()

Browse Source 
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider
2020-11-01 16:45:02 +01:00
parent b5e48eb787
commit 651fb65017
2 changed files with 6 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
configs/seL4Config.cmake
View File

@@ -62,9 +62,13 @@ macro(declare_seL4_arch sel4_arch)
# Set kernel mode options
if(KernelSel4ArchAarch32 OR KernelSel4ArchArmHyp OR KernelSel4ArchRiscV32 OR KernelSel4ArchIA32)
set_kernel_32()
config_set(KernelWordSize WORD_SIZE 32)
set(Kernel64 OFF CACHE INTERNAL "")
set(Kernel32 ON CACHE INTERNAL "")
elseif(KernelSel4ArchAarch64 OR KernelSel4ArchRiscV64 OR KernelSel4ArchX86_64)
set_kernel_64()
config_set(KernelWordSize WORD_SIZE 64)
set(Kernel64 ON CACHE INTERNAL "")
set(Kernel32 OFF CACHE INTERNAL "")
endif()
endmacro()

14
tools/internal.cmake
View File

@@ -82,17 +82,3 @@ function(add_bf_source_old dep file prefix path)
bf_declarations "${dep}" "${CMAKE_CURRENT_SOURCE_DIR}/${prefix}/${path}/${file}:${path}"
)
endfunction(add_bf_source_old)
# Macro for allowing different archs etc to set the kernel type to 32-bit
macro(set_kernel_32)
config_set(KernelWordSize WORD_SIZE 32)
set(Kernel64 OFF CACHE INTERNAL "")
set(Kernel32 ON CACHE INTERNAL "")
endmacro(set_kernel_32)
# Macro for allowing different archs etc to set the kernel type to 64-bit
macro(set_kernel_64)
config_set(KernelWordSize WORD_SIZE 64)
set(Kernel64 ON CACHE INTERNAL "")
set(Kernel32 OFF CACHE INTERNAL "")
endmacro(set_kernel_64)