3 let test = "rhel_45_i386_fv"
7 guest_clock = new_year's_day 2014;
8 (* XXX It boots fine, but X11 fails to start. Probably we need to
9 * install the X11 QXL driver.
11 boot_plan = Boot_to_screenshot (test ^ "-x11-failure.ppm");
13 boot_known_good_screenshots = [
14 test ^ "-relabelling.ppm"
18 let () = run ~test ~test_plan ()