From ee0ed273e6ef2a81cc8b0577bceedd8f6bab8c62 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 1 Mar 2021 11:38:55 +0100
Subject: [PATCH] vm_stress: increase cap quota for 3 & 4 vcpu test

due to changes by

   base: refactor VM/vCPU API

   Issue #3554
---
 repos/ports/run/seoul.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc
index 8e11a18cd8..c0b6d6ad3a 100644
--- a/repos/ports/run/seoul.inc
+++ b/repos/ports/run/seoul.inc
@@ -394,7 +394,7 @@ append_if $use_framebuffer config {
 
 if {!$use_fancy_stuff} {
 append config {
-	<start name="seoul" priority="-3" caps="800">
+	<start name="seoul" priority="-3" caps="1200">
 		<binary name="seoul"/>}
 append config "
 		<resource name=\"RAM\" quantum=\"$memory_vmm_vm\"/>"