diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc
index a56863e304..6a365ec15a 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 20bbd1fe1b..9a0baa071c 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