diff --git a/CMakeLists.txt b/CMakeLists.txt
index a3b3becc..9b8b7a1b 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -30,12 +30,13 @@ elfloader_import_project()
 
 add_subdirectory(apps/sel4test-driver)
 
-include(simulation)
-if(KernelSel4ArchX86_64)
-    SetSimulationScriptProperty(MEM_SIZE "3G")
+if(SIMULATION)
+    include(simulation)
+    if(KernelSel4ArchX86_64)
+        SetSimulationScriptProperty(MEM_SIZE "3G")
+    endif()
+    if(KernelPlatformQEMUArmVirt)
+        SetSimulationScriptProperty(MEM_SIZE "2G")
+    endif()
+    GenerateSimulateScript()
 endif()
-if(KernelPlatformQEMUArmVirt)
-    SetSimulationScriptProperty(MEM_SIZE "2G")
-endif()
-
-GenerateSimulateScript()