|
@@ -51,17 +51,6 @@ config XEN_PCIDEV_FRONTEND
|
|
|
The PCI device frontend driver allows the kernel to import arbitrary
|
|
|
PCI devices from a PCI backend to support PCI driver domains.
|
|
|
|
|
|
-config XEN_PCIDEV_FE_DEBUG
|
|
|
- bool "Xen PCI Frontend debugging"
|
|
|
- depends on XEN_PCIDEV_FRONTEND && PCI_DEBUG
|
|
|
- help
|
|
|
- Say Y here if you want the Xen PCI frontend to produce a bunch of debug
|
|
|
- messages to the system log. Select this if you are having a
|
|
|
- problem with Xen PCI frontend support and want to see more of what is
|
|
|
- going on.
|
|
|
-
|
|
|
- When in doubt, say N.
|
|
|
-
|
|
|
config HT_IRQ
|
|
|
bool "Interrupts on hypertransport devices"
|
|
|
default y
|