From 430c0f12e027508967e9349f18b75a4b016f0d91 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 22 Jun 2017 16:39:25 +0200
Subject: [PATCH] vbox: test VM test case with a lot of memory

Issue #2455
---
 repos/ports/run/vbox4_ubuntu_16_04_64.run | 2 +-
 repos/ports/run/vbox4_win7_64.run         | 2 +-
 repos/ports/run/vbox5_ubuntu_16_04_64.run | 2 +-
 repos/ports/run/vbox5_win7_64.run         | 2 +-
 repos/ports/run/vm_ubuntu_16_04_64.vbox   | 2 +-
 repos/ports/run/vm_win7_64.vbox           | 2 +-
 6 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/repos/ports/run/vbox4_ubuntu_16_04_64.run b/repos/ports/run/vbox4_ubuntu_16_04_64.run
index eb0ea1cfc..817af9d0e 100644
--- a/repos/ports/run/vbox4_ubuntu_16_04_64.run
+++ b/repos/ports/run/vbox4_ubuntu_16_04_64.run
@@ -5,7 +5,7 @@
 assert_spec 64bit
 
 set flavor   "ubuntu_16_04_64"
-set vm_ram   "1280M"
+set vm_ram   "9460M"
 
 set use_vbox4 1
 set use_vbox5 0
diff --git a/repos/ports/run/vbox4_win7_64.run b/repos/ports/run/vbox4_win7_64.run
index c44a4cee3..17f27398a 100644
--- a/repos/ports/run/vbox4_win7_64.run
+++ b/repos/ports/run/vbox4_win7_64.run
@@ -5,7 +5,7 @@
 assert_spec 64bit
 
 set flavor   "win7_64"
-set vm_ram   "1280M"
+set vm_ram   "9460M"
 
 set use_vbox4 1
 set use_vbox5 0
diff --git a/repos/ports/run/vbox5_ubuntu_16_04_64.run b/repos/ports/run/vbox5_ubuntu_16_04_64.run
index fa0f9addc..70d8cba6a 100644
--- a/repos/ports/run/vbox5_ubuntu_16_04_64.run
+++ b/repos/ports/run/vbox5_ubuntu_16_04_64.run
@@ -5,7 +5,7 @@
 assert_spec 64bit
 
 set flavor   "ubuntu_16_04_64"
-set vm_ram   "1280M"
+set vm_ram   "9460M"
 
 set use_vbox4 0
 set use_vbox5 1
diff --git a/repos/ports/run/vbox5_win7_64.run b/repos/ports/run/vbox5_win7_64.run
index 29ff3ffd4..96b00492e 100644
--- a/repos/ports/run/vbox5_win7_64.run
+++ b/repos/ports/run/vbox5_win7_64.run
@@ -5,7 +5,7 @@
 assert_spec 64bit
 
 set flavor   "win7_64"
-set vm_ram   "1280M"
+set vm_ram   "9480M"
 
 set use_vbox4 0
 set use_vbox5 1
diff --git a/repos/ports/run/vm_ubuntu_16_04_64.vbox b/repos/ports/run/vm_ubuntu_16_04_64.vbox
index 9fe1c1d4e..78438da67 100644
--- a/repos/ports/run/vm_ubuntu_16_04_64.vbox
+++ b/repos/ports/run/vm_ubuntu_16_04_64.vbox
@@ -28,7 +28,7 @@
         <HardwareVirtExLargePages enabled="false"/>
         <HardwareVirtForce enabled="false"/>
       </CPU>
-      <Memory RAMSize="1024" PageFusion="false"/>
+      <Memory RAMSize="9216" PageFusion="false"/>
       <HID Pointing="USBTablet" Keyboard="PS2Keyboard"/>
       <HPET enabled="false"/>
       <Chipset type="PIIX3"/>
diff --git a/repos/ports/run/vm_win7_64.vbox b/repos/ports/run/vm_win7_64.vbox
index 89780f3a4..09d1672bf 100644
--- a/repos/ports/run/vm_win7_64.vbox
+++ b/repos/ports/run/vm_win7_64.vbox
@@ -31,7 +31,7 @@
         <HardwareVirtExLargePages enabled="false"/>
         <HardwareVirtForce enabled="false"/>
       </CPU>
-      <Memory RAMSize="1024" PageFusion="false"/>
+      <Memory RAMSize="9216" PageFusion="false"/>
       <HID Pointing="PS2Mouse" Keyboard="PS2Keyboard"/>
       <HPET enabled="false"/>
       <Chipset type="PIIX3"/>