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

diff --git a/Kconfig b/Kconfig
index 447826e..b9af306 100644
--- a/Kconfig
+++ b/Kconfig
@@ -115,19 +115,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