secc
/
seL4-rumprun-demoapps
mirror of https://github.com/seL4/rumprun-sel4-demoapps.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Pass KernelSel4Arch for simulation settings 

This allows the simulation settings to distinguish between ia32 and x86_
64 when setting for simulation.

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
This commit is contained in:
Curtis Millar 2021-02-04 13:40:36 +11:00
parent bc81624224
commit 5389080508
No known key found for this signature in database
GPG Key ID: 836B6EBF7E3C490A
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
settings.cmake
View File

@ -39,7 +39,7 @@ endif()
include(${project_dir}/kernel/configs/seL4Config.cmake)
if(SIMULATION)
ApplyCommonSimulationSettings(${KernelArch})
ApplyCommonSimulationSettings(${KernelSel4Arch})
endif()
ApplyCommonReleaseVerificationSettings(${RELEASE} OFF)