From 3fb5ae4fdc6e1f2b30dce9c599ed959ac2f5d3df Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 29 Jun 2020 14:52:29 +0200
Subject: [PATCH] vm_stress: fix resource request by seoul-debian32

+ increase VM RAM to same size as used by vbox5
---
 repos/ports/run/seoul.inc                    | 2 +-
 repos/ports/run/vm_stress_seoul-debian32.run | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc
index a56863e30..6a365ec15 100644
--- a/repos/ports/run/seoul.inc
+++ b/repos/ports/run/seoul.inc
@@ -87,7 +87,7 @@ build $build_components
 
 # write Seoul config file
 set vm_cfg_fd [open "bin/vm_seoul.cfg" w]
-puts $vm_cfg_fd "<config map_small=\"$map_small\" vmm_vcpu_same_cpu=\"$vmm_vcpu_same_cpu\">"
+puts $vm_cfg_fd "<config map_small=\"$map_small\" vmm_vcpu_same_cpu=\"$vmm_vcpu_same_cpu\" vmm_memory=\"14M\">"
 puts $vm_cfg_fd {	 <machine verbose="no">
 		<mem start="0x0" end="0x9a000"/>
 		<mem start="0x100000" end="0xfffff000"/>
diff --git a/repos/ports/run/vm_stress_seoul-debian32.run b/repos/ports/run/vm_stress_seoul-debian32.run
index 20bbd1fe1..9a0baa071 100644
--- a/repos/ports/run/vm_stress_seoul-debian32.run
+++ b/repos/ports/run/vm_stress_seoul-debian32.run
@@ -43,7 +43,7 @@ set use_framebuffer   1
 set use_fancy_stuff   0
 set use_top           0
 
-set memory_vmm_vm     "512M"
+set memory_vmm_vm     "1280M"
 
 set vcpus_to_be_used  2