set default videoram to 8mb

diff --git a/xenvm/xenops.ml b/xenvm/xenops.ml
index ff53ae785dbc5ab778a9783993a8979b829cd8f0..6558c275c48b93982a56903bfc795774a0456e2a 100644 (file)
--- a/xenvm/xenops.ml
+++ b/xenvm/xenops.ml
@@ -309,7 +309,7 @@ let add_dm ~xs ~domid ~mem_max_kib ~vcpus ~boot =
                Device.Dm.power_mgmt = 0;
                Device.Dm.oem_features = 0;
                 Device.Dm.inject_sci = 0;
-               Device.Dm.videoram = 4;
+               Device.Dm.videoram = 8;
                Device.Dm.extras = []
        } in
        Device.Dm.start ~xs ~dmpath info domid