diff --git a/repos/os/run/vmm_arm.run b/repos/os/run/vmm_arm.run index 82a6d874cc..ad966de963 100644 --- a/repos/os/run/vmm_arm.run +++ b/repos/os/run/vmm_arm.run @@ -10,7 +10,8 @@ assert_spec arndale set build_components { core init timer drivers/platform - drivers/uart + server/terminal_crosslink + test/terminal_expect_send server/vmm } build $build_components @@ -41,19 +42,18 @@ install_config { - - - - - - - - - + + + + + + + + } @@ -92,8 +92,9 @@ if {![file exists bin/dtb]} { set boot_modules { core ld.lib.so init platform_drv - uart_drv timer + terminal_crosslink + test-terminal_expect_send vmm linux dtb @@ -103,8 +104,5 @@ build_boot_image $boot_modules # # Execute test case # -run_genode_until {.*\/ #.*} 220 -set serial_id [output_spawn_id] -send -i $serial_id "ls\n" -run_genode_until "var" 30 $serial_id +run_genode_until "\[init -> vm\] .*sbin.*" 220 exec rm bin/linux bin/dtb