X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_config.c;h=32e386227c7f0ef30e7de21bcb9c7b7c4e3a9fca;hp=c572871fa2a66ff3696a87d11cca56fe60f0bfbd;hb=f44ca084bc46b20de6414920ab3a6fe53688095f;hpb=884af29cad9a7919f5e5e8bcb2e1ba3a1009eb9f

diff --git a/palacios/src/palacios/vmm_config.c b/palacios/src/palacios/vmm_config.c
index c572871..32e3862 100644
--- a/palacios/src/palacios/vmm_config.c
+++ b/palacios/src/palacios/vmm_config.c
@@ -158,7 +158,7 @@ static int setup_memory_map(struct guest_info * info, struct v3_vm_config * conf
 #define ROMBIOS_START 0x000f0000
 
   // VGA frame buffer
-  if (0) {
+  if (1) {
     if (v3_add_shadow_mem(info, 0xa0000, 0xc0000, 0xa0000) == -1) {
       PrintError("Could not map VGA framebuffer\n");
       return -1;