From 163fe6caaa68d776564caf81c7b312b63397932b Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 22 Jun 2017 16:33:53 +0200
Subject: [PATCH] vbox: make vm memory configurable for vbox*.run

Issue #2455
---
 repos/ports/run/vbox4_ubuntu_14_04_32.run  | 1 +
 repos/ports/run/vbox4_ubuntu_14_04_64.run  | 1 +
 repos/ports/run/vbox4_ubuntu_16_04_32.run  | 1 +
 repos/ports/run/vbox4_ubuntu_16_04_64.run  | 1 +
 repos/ports/run/vbox4_win10_64.run         | 1 +
 repos/ports/run/vbox4_win7_32.run          | 1 +
 repos/ports/run/vbox4_win7_32_share.run    | 1 +
 repos/ports/run/vbox4_win7_64.run          | 1 +
 repos/ports/run/vbox4_win7_64_multiple.run | 1 +
 repos/ports/run/vbox4_win7_64_raw.run      | 1 +
 repos/ports/run/vbox4_win81_64.run         | 1 +
 repos/ports/run/vbox5_ubuntu_14_04_32.run  | 1 +
 repos/ports/run/vbox5_ubuntu_14_04_64.run  | 1 +
 repos/ports/run/vbox5_ubuntu_16_04_32.run  | 1 +
 repos/ports/run/vbox5_ubuntu_16_04_64.run  | 1 +
 repos/ports/run/vbox5_win10_64.run         | 1 +
 repos/ports/run/vbox5_win7_32.run          | 1 +
 repos/ports/run/vbox5_win7_64.run          | 1 +
 repos/ports/run/vbox5_win7_64_multiple.run | 1 +
 repos/ports/run/vbox5_win7_64_raw.run      | 1 +
 repos/ports/run/vbox5_win7_64_share.run    | 1 +
 repos/ports/run/vbox_win.inc               | 2 +-
 22 files changed, 22 insertions(+), 1 deletion(-)

diff --git a/repos/ports/run/vbox4_ubuntu_14_04_32.run b/repos/ports/run/vbox4_ubuntu_14_04_32.run
index 4d9835dfbd..76c3edb914 100644
--- a/repos/ports/run/vbox4_ubuntu_14_04_32.run
+++ b/repos/ports/run/vbox4_ubuntu_14_04_32.run
@@ -3,6 +3,7 @@
 #
 
 set flavor   "ubuntu_14_04_32"
+set vm_ram   "1280M"
 
 set use_vbox4 1
 set use_vbox5 0
diff --git a/repos/ports/run/vbox4_ubuntu_14_04_64.run b/repos/ports/run/vbox4_ubuntu_14_04_64.run
index 7bd5edf7aa..d5015a0d5c 100644
--- a/repos/ports/run/vbox4_ubuntu_14_04_64.run
+++ b/repos/ports/run/vbox4_ubuntu_14_04_64.run
@@ -5,6 +5,7 @@
 assert_spec 64bit
 
 set flavor   "ubuntu_14_04_64"
+set vm_ram   "1280M"
 
 set use_vbox4 1
 set use_vbox5 0
diff --git a/repos/ports/run/vbox4_ubuntu_16_04_32.run b/repos/ports/run/vbox4_ubuntu_16_04_32.run
index 6595dadb75..b77595ad90 100644
--- a/repos/ports/run/vbox4_ubuntu_16_04_32.run
+++ b/repos/ports/run/vbox4_ubuntu_16_04_32.run
@@ -3,6 +3,7 @@
 #
 
 set flavor   "ubuntu_16_04_32"
+set vm_ram   "1280M"
 
 set use_vbox4 1
 set use_vbox5 0
diff --git a/repos/ports/run/vbox4_ubuntu_16_04_64.run b/repos/ports/run/vbox4_ubuntu_16_04_64.run
index 4081b2e10b..eb0ea1cfcf 100644
--- a/repos/ports/run/vbox4_ubuntu_16_04_64.run
+++ b/repos/ports/run/vbox4_ubuntu_16_04_64.run
@@ -5,6 +5,7 @@
 assert_spec 64bit
 
 set flavor   "ubuntu_16_04_64"
+set vm_ram   "1280M"
 
 set use_vbox4 1
 set use_vbox5 0
diff --git a/repos/ports/run/vbox4_win10_64.run b/repos/ports/run/vbox4_win10_64.run
index 2e5641af48..bcbba76dd8 100644
--- a/repos/ports/run/vbox4_win10_64.run
+++ b/repos/ports/run/vbox4_win10_64.run
@@ -6,6 +6,7 @@ assert_spec nova
 assert_spec 64bit
 
 set flavor   "win10"
+set vm_ram   "1280M"
 
 set use_vbox4 1
 set use_vbox5 0
diff --git a/repos/ports/run/vbox4_win7_32.run b/repos/ports/run/vbox4_win7_32.run
index 66856371ea..73919ae0b3 100644
--- a/repos/ports/run/vbox4_win7_32.run
+++ b/repos/ports/run/vbox4_win7_32.run
@@ -3,6 +3,7 @@
 #
 
 set flavor   "win7"
+set vm_ram   "1280M"
 
 set use_vbox4 1
 set use_vbox5 0
diff --git a/repos/ports/run/vbox4_win7_32_share.run b/repos/ports/run/vbox4_win7_32_share.run
index 3b2f7b920d..5650073eb8 100644
--- a/repos/ports/run/vbox4_win7_32_share.run
+++ b/repos/ports/run/vbox4_win7_32_share.run
@@ -1,4 +1,5 @@
 set flavor   "win7"
+set vm_ram   "1280M"
 
 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 d260eed119..c44a4cee3e 100644
--- a/repos/ports/run/vbox4_win7_64.run
+++ b/repos/ports/run/vbox4_win7_64.run
@@ -5,6 +5,7 @@
 assert_spec 64bit
 
 set flavor   "win7_64"
+set vm_ram   "1280M"
 
 set use_vbox4 1
 set use_vbox5 0
diff --git a/repos/ports/run/vbox4_win7_64_multiple.run b/repos/ports/run/vbox4_win7_64_multiple.run
index e195901e60..9dd4b778b4 100644
--- a/repos/ports/run/vbox4_win7_64_multiple.run
+++ b/repos/ports/run/vbox4_win7_64_multiple.run
@@ -15,6 +15,7 @@
 assert_spec 64bit
 
 set flavor   "win7_64"
+set vm_ram   "1280M"
 
 set use_vbox4 1
 set use_vbox5 0
diff --git a/repos/ports/run/vbox4_win7_64_raw.run b/repos/ports/run/vbox4_win7_64_raw.run
index 1a8e72f7db..72ea3d81e1 100644
--- a/repos/ports/run/vbox4_win7_64_raw.run
+++ b/repos/ports/run/vbox4_win7_64_raw.run
@@ -5,6 +5,7 @@
 assert_spec 64bit
 
 set flavor   "win7_64_raw"
+set vm_ram   "1280M"
 
 set use_vbox4 1
 set use_vbox5 0
diff --git a/repos/ports/run/vbox4_win81_64.run b/repos/ports/run/vbox4_win81_64.run
index ba751a2712..3bdff2787a 100644
--- a/repos/ports/run/vbox4_win81_64.run
+++ b/repos/ports/run/vbox4_win81_64.run
@@ -5,6 +5,7 @@
 assert_spec 64bit
 
 set flavor   "win81_64"
+set vm_ram   "1280M"
 
 set use_vbox4 1
 set use_vbox5 0
diff --git a/repos/ports/run/vbox5_ubuntu_14_04_32.run b/repos/ports/run/vbox5_ubuntu_14_04_32.run
index c9700f7f53..d560c3f847 100644
--- a/repos/ports/run/vbox5_ubuntu_14_04_32.run
+++ b/repos/ports/run/vbox5_ubuntu_14_04_32.run
@@ -3,6 +3,7 @@
 #
 
 set flavor   "ubuntu_14_04_32"
+set vm_ram   "1280M"
 
 set use_vbox4 0
 set use_vbox5 1
diff --git a/repos/ports/run/vbox5_ubuntu_14_04_64.run b/repos/ports/run/vbox5_ubuntu_14_04_64.run
index 03419ea16d..61f8871527 100644
--- a/repos/ports/run/vbox5_ubuntu_14_04_64.run
+++ b/repos/ports/run/vbox5_ubuntu_14_04_64.run
@@ -5,6 +5,7 @@
 assert_spec 64bit
 
 set flavor   "ubuntu_14_04_64"
+set vm_ram   "1280M"
 
 set use_vbox4 0
 set use_vbox5 1
diff --git a/repos/ports/run/vbox5_ubuntu_16_04_32.run b/repos/ports/run/vbox5_ubuntu_16_04_32.run
index 81807c4fca..930d432c46 100644
--- a/repos/ports/run/vbox5_ubuntu_16_04_32.run
+++ b/repos/ports/run/vbox5_ubuntu_16_04_32.run
@@ -3,6 +3,7 @@
 #
 
 set flavor   "ubuntu_16_04_32"
+set vm_ram   "1280M"
 
 set use_vbox4 0
 set use_vbox5 1
diff --git a/repos/ports/run/vbox5_ubuntu_16_04_64.run b/repos/ports/run/vbox5_ubuntu_16_04_64.run
index 95893abc7a..fa0f9addc1 100644
--- a/repos/ports/run/vbox5_ubuntu_16_04_64.run
+++ b/repos/ports/run/vbox5_ubuntu_16_04_64.run
@@ -5,6 +5,7 @@
 assert_spec 64bit
 
 set flavor   "ubuntu_16_04_64"
+set vm_ram   "1280M"
 
 set use_vbox4 0
 set use_vbox5 1
diff --git a/repos/ports/run/vbox5_win10_64.run b/repos/ports/run/vbox5_win10_64.run
index b895764fc7..656d9db348 100644
--- a/repos/ports/run/vbox5_win10_64.run
+++ b/repos/ports/run/vbox5_win10_64.run
@@ -6,6 +6,7 @@ assert_spec nova
 assert_spec 64bit
 
 set flavor   "win10"
+set vm_ram   "1280M"
 
 set use_vbox4 0
 set use_vbox5 1
diff --git a/repos/ports/run/vbox5_win7_32.run b/repos/ports/run/vbox5_win7_32.run
index 71833ed94e..93437979cb 100644
--- a/repos/ports/run/vbox5_win7_32.run
+++ b/repos/ports/run/vbox5_win7_32.run
@@ -5,6 +5,7 @@
 assert_spec nova
 
 set flavor   "win7"
+set vm_ram   "1280M"
 
 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 07ea85a206..29ff3ffd4e 100644
--- a/repos/ports/run/vbox5_win7_64.run
+++ b/repos/ports/run/vbox5_win7_64.run
@@ -5,6 +5,7 @@
 assert_spec 64bit
 
 set flavor   "win7_64"
+set vm_ram   "1280M"
 
 set use_vbox4 0
 set use_vbox5 1
diff --git a/repos/ports/run/vbox5_win7_64_multiple.run b/repos/ports/run/vbox5_win7_64_multiple.run
index bd6f006012..748b0efeee 100644
--- a/repos/ports/run/vbox5_win7_64_multiple.run
+++ b/repos/ports/run/vbox5_win7_64_multiple.run
@@ -15,6 +15,7 @@
 assert_spec 64bit
 
 set flavor   "win7_64"
+set vm_ram   "1280M"
 
 set use_vbox4 0
 set use_vbox5 1
diff --git a/repos/ports/run/vbox5_win7_64_raw.run b/repos/ports/run/vbox5_win7_64_raw.run
index 5aaf7996d4..e13c1e013f 100644
--- a/repos/ports/run/vbox5_win7_64_raw.run
+++ b/repos/ports/run/vbox5_win7_64_raw.run
@@ -5,6 +5,7 @@
 assert_spec 64bit
 
 set flavor   "win7_64_raw"
+set vm_ram   "1280M"
 
 set use_vbox4 0
 set use_vbox5 1
diff --git a/repos/ports/run/vbox5_win7_64_share.run b/repos/ports/run/vbox5_win7_64_share.run
index 8f8da1d337..bea5f5f6c1 100644
--- a/repos/ports/run/vbox5_win7_64_share.run
+++ b/repos/ports/run/vbox5_win7_64_share.run
@@ -1,6 +1,7 @@
 assert_spec 64bit
 
 set flavor   "win7_64"
+set vm_ram   "1280M"
 
 set use_vbox4 0
 set use_vbox5 1
diff --git a/repos/ports/run/vbox_win.inc b/repos/ports/run/vbox_win.inc
index 2e867668fc..cbfa3d6e3e 100644
--- a/repos/ports/run/vbox_win.inc
+++ b/repos/ports/run/vbox_win.inc
@@ -254,7 +254,7 @@ for { set i 1} { $i <= $use_vms } { incr i} {
 		<binary name=\"$virtualbox5_binary\" />"
 
 	append config_of_app {
-		<resource name="RAM" quantum="1280M"/>}
+		<resource name="RAM" quantum="} $vm_ram {"/>}
 	if { $use_vms eq 1 } {
 		append config_of_app "
 		<config ld_verbose=\"yes\" vbox_file=\"${vbox_file}\" vm_name=\"${flavor}\" xhci=\"yes\">"