Module Name: src
Committed By: snj
Date: Sat Oct 3 23:55:43 UTC 2009
Modified Files:
src/sys/arch/amd64/conf [netbsd-5]: XEN3_DOMU
src/sys/arch/i386/conf [netbsd-5]: XEN3_DOMU
Log Message:
Pull up following revision(s) (requested by bouyer in ticket #1054):
sys/arch/amd64/conf/XEN3_DOMU: revision 1.16
sys/arch/i386/conf/XEN3_DOMU: revision 1.12
Add commented out PCI pass-through support:
To generate a diff of this commit:
cvs rdiff -u -r1.13 -r1.13.4.1 src/sys/arch/amd64/conf/XEN3_DOMU
cvs rdiff -u -r1.10 -r1.10.66.1 src/sys/arch/i386/conf/XEN3_DOMU
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/sys/arch/amd64/conf/XEN3_DOMU
diff -u src/sys/arch/amd64/conf/XEN3_DOMU:1.13 src/sys/arch/amd64/conf/XEN3_DOMU:1.13.4.1
--- src/sys/arch/amd64/conf/XEN3_DOMU:1.13 Sun Aug 10 08:53:29 2008
+++ src/sys/arch/amd64/conf/XEN3_DOMU Sat Oct 3 23:55:43 2009
@@ -1,4 +1,4 @@
-# $NetBSD: XEN3_DOMU,v 1.13 2008/08/10 08:53:29 cegger Exp $
+# $NetBSD: XEN3_DOMU,v 1.13.4.1 2009/10/03 23:55:43 snj Exp $
include "arch/amd64/conf/std.xen"
@@ -158,6 +158,11 @@
xencons* at hypervisor? # Xen virtual console
+# PCI pass-through support:
+#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"
# Pseudo-Devices
Index: src/sys/arch/i386/conf/XEN3_DOMU
diff -u src/sys/arch/i386/conf/XEN3_DOMU:1.10 src/sys/arch/i386/conf/XEN3_DOMU:1.10.66.1
--- src/sys/arch/i386/conf/XEN3_DOMU:1.10 Sat Nov 11 20:00:39 2006
+++ src/sys/arch/i386/conf/XEN3_DOMU Sat Oct 3 23:55:43 2009
@@ -1,4 +1,4 @@
-# $NetBSD: XEN3_DOMU,v 1.10 2006/11/11 20:00:39 bouyer Exp $
+# $NetBSD: XEN3_DOMU,v 1.10.66.1 2009/10/03 23:55:43 snj Exp $
include "arch/i386/conf/XEN2_DOMU"
@@ -14,3 +14,8 @@
xenbus* at hypervisor? # Xen virtual bus
xennet* at xenbus? # Xen virtual network interface
xbd* at xenbus? # Xen virtual block device
+
+# PCI pass-through support:
+#xpci* at xenbus ? #Xen3 PCI front end driver
+#pci* at xpci ?
+# you then need to add your PCI devices drivers below.