3 let test = "rhel_511_x86_64_pv"
7 guest_clock = new_year's_day 2014;
8 (* XXX It boots fine, but there is a (harmless?) error
10 * INIT: Id "co" respawning too fast: disabled for 5 minutes
12 boot_plan = Boot_to_screenshot (test ^ "-login-spawning-too-fast.ppm");
15 let () = run ~test ~test_plan ()