add videoram in the ioemu

diff --git a/xenops/device.ml b/xenops/device.ml
index 08491fd5c5b4e516ecfd8280bad46f5b96a7f2d2..6dc026c949e8b9034bd1a5f90f571f397ff574ae 100644 (file)
--- a/xenops/device.ml
+++ b/xenops/device.ml
@@ -1066,6 +1066,7 @@ type info = {
        sound: string option;
        power_mgmt: int;
        oem_features: int;
+       videoram: int;
        extras: (string * string option) list;
 }
 

diff --git a/xenops/device.mli b/xenops/device.mli
index 54ecc0e152b8c23399159d298d6a4f650556af23..8229b60e84cb3a5515edf5b3e22b8c9df2b672e8 100644 (file)
--- a/xenops/device.mli
+++ b/xenops/device.mli
@@ -155,6 +155,7 @@ sig
                sound: string option;
                power_mgmt: int;
                oem_features: int;
+               videoram: int;
                extras: (string * string option) list;
        }
 

diff --git a/xenvm/vmact.ml b/xenvm/vmact.ml
index 429dab6b76afba3ef1227d2d6d8ae180e381fc48..c383283b0dda9dc93e7ae577ee0bf64c7e32f9d5 100644 (file)
--- a/xenvm/vmact.ml
+++ b/xenvm/vmact.ml
@@ -134,6 +134,7 @@ let dm_info_of_cfg cfg =
                Device.Dm.disp = disp;
                Device.Dm.power_mgmt = cfg.power_management;
                Device.Dm.oem_features = cfg.oem_features;
+               Device.Dm.videoram = (match cfg.videoram with None -> 4 | Some i -> i);
                Device.Dm.extras = cfg.extrahvm;
        }
 

diff --git a/xenvm/xenops.ml b/xenvm/xenops.ml
index 239d1cb24c1b8a4187bfb0e2c81067c99d822144..a4e8f5a1135806ca34258a724b67baf16c527894 100644 (file)
--- a/xenvm/xenops.ml
+++ b/xenvm/xenops.ml
@@ -298,6 +298,7 @@ let add_dm ~xs ~domid ~mem_max_kib ~vcpus ~boot =
                Device.Dm.disp = Device.Dm.NONE;
                Device.Dm.power_mgmt = 0;
                Device.Dm.oem_features = 0;
+               Device.Dm.videoram = 4;
                Device.Dm.extras = []
        } in
        Device.Dm.start ~xs ~dmpath info domid