3 let test = "rhel_511_x86_64_no_tools"
4 let input_disk = test ^ ".ova"
8 guest_clock = new_year's_day 2014;
9 (* XXX It boots fine, but X11 fails to start. Probably we need to
10 * install the X11 QXL driver.
12 boot_plan = Boot_to_screenshot (test ^ "-x11-failure.ppm")
15 let () = run ~test ~input_disk ~test_plan ()