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 <[email protected]>
seL4 · Feb 4, 2021 · 735fcbf · 735fcbf
1 parent cc9948e
commit 735fcbf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/settings.cmake b/settings.cmake
@@ -53,7 +53,7 @@ if(NOT Sel4testAllowSettingsOverride)
     endif()
 
     if(SIMULATION)
-        ApplyCommonSimulationSettings(${KernelArch})
+        ApplyCommonSimulationSettings(${KernelSel4Arch})
     else()
         if(KernelArchX86)
             set(KernelIOMMU ON CACHE BOOL "" FORCE)