vbox: test shared folder with overlay in ram_fs

avoids corrupted ext2fs in rump_fs
This commit is contained in:
Alexander Boettcher 2017-02-23 13:56:18 +01:00 committed by Christian Helmuth
parent 7c0542d4bc
commit 6c723fb1e8
2 changed files with 9 additions and 9 deletions

View File

@ -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"

View File

@ -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"/>