portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

configs: Use only BV-compatible optimisations

Browse source 
For verified configurations on which we perform binary verification,
ensure that we disable certain whole-program optimisations that are
incompatible with binary verification.

Signed-off-by: Matthew Brecknell <matt@kry10.com>
This commit is contained in:
Matthew Brecknell 2023-02-01 09:38:14 +11:00 committed by Matthew Brecknell
parent b9c5f53bce
commit 843b944a31
4 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
configs/ARM_MCS_verified.cmake
View file

@ -11,6 +11,8 @@ cmake_script_build_kernel()
set(KernelPlatform "imx6" CACHE STRING "")
set(KernelVerificationBuild ON CACHE BOOL "")
set(KernelBinaryVerificationBuild ON CACHE BOOL "")
set(KernelOptimisationCloneFunctions OFF CACHE BOOL "")
set(KernelIPCBufferLocation "threadID_register" CACHE STRING "")
set(KernelMaxNumNodes "1" CACHE STRING "")
set(KernelOptimisation "-O2" CACHE STRING "")

2
configs/ARM_verified.cmake
View file

@ -11,6 +11,8 @@ cmake_script_build_kernel()
set(KernelPlatform "imx6" CACHE STRING "")
set(KernelVerificationBuild ON CACHE BOOL "")
set(KernelBinaryVerificationBuild ON CACHE BOOL "")
set(KernelOptimisationCloneFunctions OFF CACHE BOOL "")
set(KernelIPCBufferLocation "threadID_register" CACHE STRING "")
set(KernelMaxNumNodes "1" CACHE STRING "")
set(KernelOptimisation "-O2" CACHE STRING "")

2
configs/RISCV64_MCS_verified.cmake
View file

@ -13,6 +13,8 @@ set(KernelSel4Arch "riscv64" CACHE STRING "")
set(KernelPlatform "hifive" CACHE STRING "")
set(KernelPTLevels "3" CACHE STRING "")
set(KernelVerificationBuild ON CACHE BOOL "")
set(KernelBinaryVerificationBuild ON CACHE BOOL "")
set(KernelOptimisationCloneFunctions OFF CACHE BOOL "")
set(KernelMaxNumNodes "1" CACHE STRING "")
set(KernelOptimisation "-O2" CACHE STRING "")
set(KernelRetypeFanOutLimit "256" CACHE STRING "")

2
configs/RISCV64_verified.cmake
View file

@ -13,6 +13,8 @@ set(KernelSel4Arch "riscv64" CACHE STRING "")
set(KernelPlatform "hifive" CACHE STRING "")
set(KernelPTLevels "3" CACHE STRING "")
set(KernelVerificationBuild ON CACHE BOOL "")
set(KernelBinaryVerificationBuild ON CACHE BOOL "")
set(KernelOptimisationCloneFunctions OFF CACHE BOOL "")
set(KernelMaxNumNodes "1" CACHE STRING "")
set(KernelOptimisation "-O2" CACHE STRING "")
set(KernelRetypeFanOutLimit "256" CACHE STRING "")