[src/trunk]: src/sys/arch Disable xpci(4) PCI passthrough in XEN3_DOMU kernel...

[jakllsch <jakllsch%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/b6ea39a55503
branches:  trunk
changeset: 794515:b6ea39a55503
user:      jakllsch <jakllsch%NetBSD.org@localhost>
date:      Sun Mar 16 18:04:56 2014 +0000

description:
Disable xpci(4) PCI passthrough in XEN3_DOMU kernels by popular demand.

diffstat:

 sys/arch/amd64/conf/XEN3_DOMU |  6 +++---
 sys/arch/i386/conf/XEN3_DOMU  |  6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

diffs (38 lines):

diff -r ad2c02e2b739 -r b6ea39a55503 sys/arch/amd64/conf/XEN3_DOMU
--- a/sys/arch/amd64/conf/XEN3_DOMU     Sun Mar 16 15:31:03 2014 +0000
+++ b/sys/arch/amd64/conf/XEN3_DOMU     Sun Mar 16 18:04:56 2014 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: XEN3_DOMU,v 1.51 2014/03/15 13:50:01 jakllsch Exp $
+# $NetBSD: XEN3_DOMU,v 1.52 2014/03/16 18:04:56 jakllsch Exp $
 
 include        "arch/amd64/conf/std.xen"
 
@@ -167,8 +167,8 @@
 xencons*       at hypervisor?          # Xen virtual console
 
 # PCI pass-through support:
-xpci* at xenbus ?                      #Xen3 PCI front end driver
-pci* at xpci ?
+#xpci* at xenbus ?                     #Xen3 PCI front end driver
+#pci* at xpci ?
 # you then need to add your PCI devices drivers below.
 
 cinclude "arch/amd64/conf/GENERIC.local"
diff -r ad2c02e2b739 -r b6ea39a55503 sys/arch/i386/conf/XEN3_DOMU
--- a/sys/arch/i386/conf/XEN3_DOMU      Sun Mar 16 15:31:03 2014 +0000
+++ b/sys/arch/i386/conf/XEN3_DOMU      Sun Mar 16 18:04:56 2014 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: XEN3_DOMU,v 1.56 2014/01/26 19:16:16 dsl Exp $
+# $NetBSD: XEN3_DOMU,v 1.57 2014/03/16 18:04:56 jakllsch Exp $
 
 include        "arch/xen/conf/std.xen"
 
@@ -258,6 +258,6 @@
 options        PAX_ASLR=0              # PaX Address Space Layout Randomization
 
 # PCI pass-through support:
-xpci* at xenbus ?                      #Xen3 PCI front end driver
-pci* at xpci ?
+#xpci* at xenbus ?                     #Xen3 PCI front end driver
+#pci* at xpci ?
 # you then need to add your PCI devices drivers below.