From 1a2185106f8508a0a8c0ed81200e3168deab3bfa Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Wed, 18 Jan 2023 19:12:51 +1100
Subject: [PATCH] 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 <gerwin.klein@proofcraft.systems>
---
 settings.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/settings.cmake b/settings.cmake
index d2687c5a..7454784d 100644
--- 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()