settings: use reduce DOMAINS default from 16 to 4

Most of the tests run in domain 0 with all other domains idle. To not increase the runtime too much, we test with fewer domains by default if DOMAINS is set. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jan 20, 2023 · 1a21851 · 1a21851
1 parent 91d8da8
commit 1a21851
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/settings.cmake b/settings.cmake
@@ -107,7 +107,7 @@ if(NOT Sel4testAllowSettingsOverride)
     endif()
 
     if(DOMAINS)
-        set(KernelNumDomains 16 CACHE STRING "" FORCE)
+        set(KernelNumDomains 4 CACHE STRING "" FORCE)
     else()
         set(KernelNumDomains 1 CACHE STRING "" FORCE)
     endif()