Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

[palacios.git] / linux_module / palacios.h

diff --git a/linux_module/palacios.h b/linux_module/palacios.h
index 76b4779..9fe9c29 100644 (file)
--- a/linux_module/palacios.h
+++ b/linux_module/palacios.h
@@ -72,7 +72,7 @@ struct v3_guest {
     struct palacios_console console;
 #endif
 
-#ifdef V3_CONFIG_CONSOLE
+#ifdef V3_CONFIG_GRAPHICS_CONSOLE
     struct palacios_graphics_console graphics_console;
 #endif