From: Lei Xia <lxia@northwestern.edu>
Date: Tue, 1 Dec 2009 05:44:57 +0000 (-0600)
Subject: Add virtio config option
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=c551bbb4b8097db14632f43acc27b55b054c13a4

Add virtio config option
---

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index dde39ab..6d1a568 100644
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -134,6 +134,18 @@ config DEBUG_VIRTIO_SYM
 	help 
 	  Enable debugging for the Linux Virtio Symbiotic Device
 
+config LINUX_VIRTIO_NET
+        bool "Enable Virtio Network Device"
+        default n
+        help
+          Enable the Virtio Net
+
+config DEBUG_VIRTIO_NET
+        bool "Linux Virtio Net Debugging"
+        default n
+        depends on LINUX_VIRTIO_NET && DEBUG_ON
+        help
+          Enable debugging for the Linux Virtio Network Device
 
 
 config NE2K