From 0d4f48ca0b123758e1bf861f7a553ca65e2f3550 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 20 Oct 2016 14:23:59 +0200
Subject: [PATCH] vbox: add auto run script booting multiple VMs

Prepared for internal test machine, which has 8 logical cores.

6 Win7 64bit VMs are started, each having 2 vCPUs, using the same image and
different overlays. Changes to the VM are written to the overlays of ram_fs
and dropped after the test.

lCPU 0  : Genode base system and drivers
lCPU 1-2: VM1 2 vCPUs
lCPU 2-3: VM2 "
lCPU 3-4: VM3 "
lCPU 4-5: VM4 "
lCPU 5-6: VM5 "
lCPU 6-7: VM6 "

Fixes #2143
---
 repos/ports/run/vbox_auto_win7_multiple.run | 35 +++++++++++++++++++++
 tool/autopilot.list                         |  1 +
 2 files changed, 36 insertions(+)
 create mode 100644 repos/ports/run/vbox_auto_win7_multiple.run

diff --git a/repos/ports/run/vbox_auto_win7_multiple.run b/repos/ports/run/vbox_auto_win7_multiple.run
new file mode 100644
index 0000000000..e195901e60
--- /dev/null
+++ b/repos/ports/run/vbox_auto_win7_multiple.run
@@ -0,0 +1,35 @@
+#
+# Windows 7 64bit in VirtualBox
+#
+# Prepared for internal test machine, which has 8 logical cores.
+
+# 6 Win7 64bit VMs are started, each having 2 vCPUs, using the same image and
+# different overlays. Changes to the VM are written to the overlays of ram_fs
+# and dropped after the test.
+
+# lCPU 0  : Genode base system and drivers
+# lCPU 1-2: VM1 2 vCPUs
+# ...
+# lCPU 6-7: VM6 2 vCPUs
+
+assert_spec 64bit
+
+set flavor   "win7_64"
+
+set use_vbox4 1
+set use_vbox5 0
+
+set use_rumpfs 1
+# Write overlay only into ram
+set use_ram_fs 1
+# However read initial overlay from disk
+set use_overlay_from_disk 1
+
+set use_usb 1
+set use_ps2 [have_spec ps2]
+
+set use_vms 6
+set affinity_space_width 8
+set use_cpu_load 1
+
+source ${genode_dir}/repos/ports/run/vbox_win.inc
diff --git a/tool/autopilot.list b/tool/autopilot.list
index d3faabfc91..c4f9602df7 100644
--- a/tool/autopilot.list
+++ b/tool/autopilot.list
@@ -52,6 +52,7 @@ vbox_auto_win7_64
 vbox_auto_win7_64_raw
 vbox_auto_win7_vbox5
 vbox_auto_win7_share
+vbox_auto_win7_multiple
 vbox_auto_win81_64
 tz_vmm
 vmm