3 let test = "rhel_45_i386_fv"
7 (* XXX It boots fine, but X11 fails to start. Probably we need to
8 * install the X11 QXL driver.
10 boot_plan = Boot_to_screenshot (test ^ "-x11-failure.ppm");
12 boot_known_good_screenshots = [
13 test ^ "-relabelling.ppm"
17 let () = run ~test ~test_plan ()