X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=d5d8c1d22ccfaded0c58666d07184e9a3b3d0faa;hb=02d617c8f625ad5da6c4c9b78b224e84baac5d08;hp=e9b2dc8a1450efc2f0413222ad8b799dee443a77;hpb=8a3dbb70c29175bad79764a0b2f3961b98138bb2;p=palacios.git

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index e9b2dc8..d5d8c1d 100644
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -196,6 +196,7 @@ config DEBUG_LINUX_VIRTIO_VNET
           Enable debugging for the VNET Virtio interface
 
 
+
 config VNET_NIC
         bool "Enable VNET Backend Device"
         default n
@@ -210,6 +211,20 @@ config DEBUG_VNET_NIC
         help
           Enable debugging for the VNET NIC Device
 
+config VNET_GUEST_IFACE
+        bool "Enable VNET guest hypercall interface"
+        default n
+        depends on VNET
+        help
+          Allows the guest to query for info, such as headers, from VNET
+
+config DEBUG_VNET_GUEST_IFACE
+        bool "VNET guest hypercall interface debugging"
+        default n
+        depends on VNET_GUEST_IFACE && DEBUG_ON
+        help
+          Enable debugging for the VNET guest hypercall interface
+
 
 config NE2K
 	bool "NE2K"
@@ -325,6 +340,25 @@ config DEBUG_PCI_FRONT
 	  Enable debugging for the PCI front-end device 
           
 
+config HOST_PCI_SELPRIV
+        bool "Host PCI selective privilege"
+        depends on HOST_PCI
+        depends on EXT_PRIV
+        default n
+        help
+          This device enables selective direct access to hardware for
+          passthrough PCI devices. The privilege extension under
+          GEARS must be enabled for this option.  This device
+          is a variant of the "always on" "host_pci" device.
+
+config DEBUG_HOST_PCI_SELPRIV
+    bool "Host PCI Debugging"
+    depends on HOST_PCI_SELPRIV
+    default n
+    help
+      This enables debugging output for the host_pci_selpriv device
+
+
 
 config PIC
 	bool "8259A PIC"
@@ -430,6 +464,21 @@ config DEBUG_VGA
 	help
 	  Enables debugging output for the VGA device 
 
+config PARAGRAPH
+        bool "PARAGRAPH paravirtualized graphics card"
+        default n
+        depends GRAPHICS_CONSOLE
+        help
+          Includes a paravirtualized graphics card
+
+config DEBUG_PARAGRAPH
+        bool "DEBUG_PARAGRAPH"
+        default n
+        depends on PARAGRAPH
+        help
+          Enables debugging output for the PARAGRAPH device
+
+
 config CGA
 	bool "CGA"
 	default n