From 6c723fb1e81fdb4be50a95487f31798ad7c7f786 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 23 Feb 2017 13:56:18 +0100
Subject: [PATCH] vbox: test shared folder with overlay in ram_fs

avoids corrupted ext2fs in rump_fs
---
 repos/ports/run/vbox_auto_win7_share.run | 14 +++++++-------
 repos/ports/run/vm_auto_share.vbox       |  4 ++--
 2 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/repos/ports/run/vbox_auto_win7_share.run b/repos/ports/run/vbox_auto_win7_share.run
index 5f1c04561..060f11cb6 100644
--- a/repos/ports/run/vbox_auto_win7_share.run
+++ b/repos/ports/run/vbox_auto_win7_share.run
@@ -5,7 +5,7 @@
 # - hard disk with 4 primary partitions
 # - on the 4. partition an ext2 filesystem is expected with following files:
 # -- /win7.vdi
-# -- /ram/overlay-original.vdi
+# -- /ram/overlay_win7.vdi
 #
 # The overlay file must be generated beforehand, e.g.:
 #
@@ -13,7 +13,7 @@
 #
 # to find out the size of the vdi and then to create the overlay:
 #
-#   vboxmanage createhd --filename overlay-original.vdi --size [vdi_size] --format vdi
+#   vboxmanage createhd --filename overlay_win7.vdi --size [vdi_size] --format vdi
 #
 #
 #
@@ -79,8 +79,8 @@ set use_vbox5 0
 
 set vdi_image "${flavor}.vdi"
 # Write overlay back to harddisk if set to 0
-set use_ram_fs 0
-set use_overlay_from_disk 0
+set use_ram_fs 1
+set use_overlay_from_disk 1
 set overlay_image "overlay_${flavor}.vdi"
 set use_rumpfs 1
 
@@ -209,7 +209,7 @@ set config_of_app {
 		<config> <rom/> </config>
 	</start>
 
-	<start name="vbox" priority="-2">}
+	<start name="vbox1" priority="-2">}
 append config_of_app "
 		<binary name=\"$virtualbox_binary\"/>"
 append config_of_app {
@@ -272,7 +272,7 @@ regexp {[0-9]+\.[0-9]+\.[0-9]+\.[0-9]+} $serial_ip_addr serial_ip_addr
 #
 
 
-run_genode_until {\[init -\> vbox\].*Guest Additions capability report:.*seamless: yes, hostWindowMapping: no, graphics: yes} 300 $serial_id
+run_genode_until {\[init -\> vbox1\].*Guest Additions capability report:.*seamless: yes, hostWindowMapping: no, graphics: yes} 300 $serial_id
 
 
 #
@@ -308,7 +308,7 @@ puts $noux_id "sleep 5"
 puts $noux_id "done"
 
 # Wait until VM signaled shutdown state
-run_genode_until {\[init\] child "vbox" exited with exit value 0} 120 $serial_id
+run_genode_until {\[init\] child "vbox1" exited with exit value 0} 120 $serial_id
 
 # SHA1 of copied file
 puts $noux_id "sha1sum to/test.bin"
diff --git a/repos/ports/run/vm_auto_share.vbox b/repos/ports/run/vm_auto_share.vbox
index 9c27e60bb..09f2e0773 100644
--- a/repos/ports/run/vm_auto_share.vbox
+++ b/repos/ports/run/vm_auto_share.vbox
@@ -10,7 +10,7 @@
     <MediaRegistry>
       <HardDisks>
         <HardDisk uuid="{8e55fcfc-4c09-4173-9066-341968be4864}" location="/win7.vdi" format="VDI" type="Immutable">
-          <HardDisk uuid="{4c5ed34f-f6cf-48e8-808d-2c06f0d11464}" location="/ram/overlay.vdi" format="VDI" autoReset="true"/>
+          <HardDisk uuid="{4c5ed34f-f6cf-48e8-808d-2c06f0d11464}" location="/ram/overlay_win7.vdi" format="VDI" autoReset="true"/>
         </HardDisk>
       </HardDisks>
       <DVDImages/>
@@ -130,7 +130,7 @@
         <Port slot="0" enabled="false" IOBase="0x378" IRQ="7"/>
         <Port slot="1" enabled="false" IOBase="0x378" IRQ="7"/>
       </LPT>
-      <AudioAdapter controller="AC97" driver="Pulse" enabled="false"/>
+      <AudioAdapter controller="HDA" driver="Pulse" enabled="false"/>
       <RTC localOrUTC="UTC"/>
       <SharedFolders/>
       <Clipboard mode="Disabled"/>