diff --git a/ports/run/virtualbox_auto_disk.run b/ports/run/virtualbox_auto_disk.run index 94cdff9af2..48abaeb562 100644 --- a/ports/run/virtualbox_auto_disk.run +++ b/ports/run/virtualbox_auto_disk.run @@ -1,3 +1,6 @@ +# Tested for nova 64bit solely. +assert_spec 64bit + set use_vdi 1 set use_iso 0 set vdi_image "win7.vdi" @@ -47,8 +50,8 @@ source ${genode_dir}/ports/run/virtualbox_auto.inc run_genode_until "ignore resize request to 720x400" 20 run_genode_until "ignore resize request to 640x480" 15 $spawn_id -run_genode_until "ignore resize request to 800x600" 25 $spawn_id -run_genode_until "ignore resize request to 800x600" 60 $spawn_id +run_genode_until "ignore resize request to 800x600" 35 $spawn_id +run_genode_until "ignore resize request to 800x600" 90 $spawn_id run_genode_until "ignore resize request to 720x400" 10 $spawn_id puts "\nTest succeeded" diff --git a/tool/autopilot.list b/tool/autopilot.list index 380d47ebfe..9aadeb81df 100644 --- a/tool/autopilot.list +++ b/tool/autopilot.list @@ -39,3 +39,4 @@ part_blk xml_generator blk_cache rump_ext2 +virtualbox_auto_disk