ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 17:52:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

run: adjust vbox multiple VM run test

Browse Source 
Wrongly renamed during "vbox5: enable SMP setups"

Related to #2338
This commit is contained in:
Alexander Boettcher 2017-03-27 13:58:50 +02:00 committed by Christian Helmuth
parent d18f976b15
commit 35adce3955
3 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
repos/ports/run/vbox4_win7_32_multiple.run → repos/ports/run/vbox4_win7_64_multiple.run
View File

1
repos/ports/run/vbox_win.inc
View File

@ -329,7 +329,6 @@ if {$use_rumpfs} {
set wait_timeout 170
for { set i 1 } { $i <= $use_vms } { incr i } {
run_genode_until {\[init -\> vbox.*].*Guest Additions capability report:.*seamless: yes, hostWindowMapping: no, graphics: yes} $wait_timeout [output_spawn_id]
set wait_timeout 25
}
} else {
run_genode_until {\[init\] child "vbox1" exited with exit value 0} 60 [output_spawn_id]

4
repos/ports/run/virtualbox_auto.inc
View File

@ -103,9 +103,9 @@ append_if [expr $use_rumpfs] config {
<config ld_verbose="yes" fs="ext2fs">}
append_if [expr $use_rumpfs && $use_ram_fs && $use_overlay_from_disk] config {
<policy label_prefix="overlay_from_disk" root="/ram" writeable="yes"/>}
<policy label_prefix="overlay_from_disk" root="/ram" writeable="no"/>}
append_if [expr $use_rumpfs] config {
<default-policy root="/" writeable="yes"/>
<default-policy root="/" writeable="no"/>
</config>
<route>
<any-service><child name="part_blk"/> <parent/><any-child/></any-service>