X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=fbed666161fd828a47fde629a3969deda7e1cccb;hb=affa74f0a3ac623aaa3042e251771c04e63cf846;hp=447826eedc998950470fdc0214983a12c3c36d4c;hpb=83790cde959d56c148be1b5f64d2e4a4414acac9;p=palacios.git

diff --git a/Kconfig b/Kconfig
index 447826e..fbed666 100644
--- a/Kconfig
+++ b/Kconfig
@@ -45,6 +45,15 @@ config MAX_CPUS
 	  For uniprocessor environments, set this to 1
 
 
+config CONSOLE
+	bool "Include Console Support"
+	default n
+	help 
+	  Enable console support in Palacios
+
+
+
+
 config SOCKET
 	bool "Include Network Socket Support"
 	default y
@@ -115,19 +124,19 @@ config VNET_PROFILE
 	help
           Enable the Vnet performance profiling in Palacios
 
-config VNET_BRG
-        bool "Enable VNET Bridge"
+config LINUX_VIRTIO_VNET
+        bool "Enable Virtio VNET interface"
         default n
         depends on PCI && EXPERIMENTAL && VNET
         help
-          Enable the VNET Bridge device
+          Enable the Virtio VNET interface
 
-config DEBUG_VNET_BRG
-        bool "VNET Bridge Debugging"
+config DEBUG_LINUX_VIRTIO_VNET
+        bool "VNET Virtio Device Debugging"
         default n
-        depends on VNET_BRG && DEBUG_ON
+        depends on LINUX_VIRTIO_VNET && DEBUG_ON
         help
-          Enable debugging for the VNET Bridge Device
+          Enable debugging for the VNET Virtio Device
 
 endmenu