Add a workaround for the videoram.

maxmem needs to take in count the amount of videoram.

diff --git a/master/series b/master/series
index 5639284b6c6d8b4edb4e229d2dcfd5e2c8fa9ef0..870ab42c76cb439c27275c09c2f665f14fe84d0c 100644 (file)
--- a/master/series
+++ b/master/series
@@ -11,3 +11,4 @@ init-vgabios-and-set-size
 mfn-validity-check-before-shadow-remove
 remove-fixed-host-bridge-check
 mtrr-changes
+video-memory-workaround

diff --git a/master/video-memory-workaround b/master/video-memory-workaround
new file mode 100644 (file)
index 0000000..361e41d
--- /dev/null
+++ b/master/video-memory-workaround
@@ -0,0 +1,14 @@
+diff --git a/tools/libxc/xc_hvm_build.c b/tools/libxc/xc_hvm_build.c
+index 787f4ec..2101052 100644
+--- a/tools/libxc/xc_hvm_build.c
++++ b/tools/libxc/xc_hvm_build.c
+@@ -432,6 +432,9 @@ int xc_hvm_build(int xc_handle,
+     else
+         sts |= init_vgabios(xc_handle, domid, NULL, 0x800);
+ 
++    /* Add 9M in the max mem to support the videoram */
++    xc_domain_setmaxmem(xc_handle, domid , memsize + 9 * 1024);
++
+     free(image);
+ 
+     return sts;