Fix kqemu build failure.

Signed-off-by: Paul Brook <paul@codesourcery.com>

Fix kqemu build failure.
Signed-off-by: Paul Brook <paul@codesourcery.com>
Paul Brook
1 parent fbe1b595
Showing 1 changed file with 1 additions and 1 deletions
vl.c
@@ -5735,7 +5735,7 @@ int main(int argc, char **argv, char **envp)
     /* FIXME: This is a nasty hack because kqemu can't cope with dynamic
        guest ram allocation.  It needs to go away.  */
     if (kqemu_allowed) {
-        kqemu_phys_ram_size = ram_size + VGA_RAM_SIZE + 4 * 1024 * 1024;
+        kqemu_phys_ram_size = ram_size + 8 * 1024 * 1024 + 4 * 1024 * 1024;
         kqemu_phys_ram_base = qemu_vmalloc(kqemu_phys_ram_size);
         if (!kqemu_phys_ram_base) {
             fprintf(stderr, "Could not allocate physical memory\n");