X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=b5e625e97697c37eb24ee3b532923d1ae1416e29;hb=966e433fd935e1ad837960e1b245d8506b2cf515;hp=d6c5202b5c566eeba18cdd8fbd42b18636d84646;hpb=72b46c150b774d64c5e971ac4575c86142c5a509;p=palacios.git

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index d6c5202..b5e625e 100644
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -159,13 +159,13 @@ config DEBUG_VIRTIO_NET
           Enable debugging for the Linux Virtio Network Device
 
 config VNET_NIC
-        bool "Enable VNET NIC Device"
+        bool "Enable VNET VIrtio NIC Device"
         default n
 	depends on PCI && EXPERIMENTAL
         help
-          Enable the VNET NIC backend device
+          Enable the VNET Virtio backend device
 
-config VNET_NIC_NET
+config DEBUG_VNET_NIC
         bool "VNET NIC Device Debugging"
         default n
         depends on VNET_NIC && DEBUG_ON