summaryrefslogtreecommitdiff
path: root/sys/arch/amd64
diff options
context:
space:
mode:
authorMike Belopuhov <mikeb@cvs.openbsd.org>2015-12-08 22:04:08 +0000
committerMike Belopuhov <mikeb@cvs.openbsd.org>2015-12-08 22:04:08 +0000
commit156eee4f21f9b47878355e0093f5a7808a008c3e (patch)
tree0743f1e7c5ff16116a4579a9697115a54de809cd /sys/arch/amd64
parent8c9f111e51e710018a4bb4b05ff3d12439de8eb6 (diff)
Driver for the XenSource Platform Device
This is a simple driver for the virtual PCI device with only one purpose: to allocate the interrupt vector and communicate that to the Hypervisor in case the IDT callback method was not available. With input from and OK deraadt, mlarkin, reyk, mpi
Diffstat (limited to 'sys/arch/amd64')
-rw-r--r--sys/arch/amd64/conf/GENERIC4
1 files changed, 3 insertions, 1 deletions
diff --git a/sys/arch/amd64/conf/GENERIC b/sys/arch/amd64/conf/GENERIC
index 177d76ba3dd..c034311828d 100644
--- a/sys/arch/amd64/conf/GENERIC
+++ b/sys/arch/amd64/conf/GENERIC
@@ -1,4 +1,4 @@
-# $OpenBSD: GENERIC,v 1.402 2015/12/08 18:46:25 mikeb Exp $
+# $OpenBSD: GENERIC,v 1.403 2015/12/08 22:04:07 mikeb Exp $
#
# For further information on compiling OpenBSD kernels, see the config(8)
# man page.
@@ -601,6 +601,8 @@ hifn* at pci? # Hi/fn 7751 crypto card
ubsec* at pci? # Bluesteel Networks 5xxx crypto card
safe* at pci? # SafeNet SafeXcel 1141/1741
+xspd0 at pci? # XenSource Platform Device
+
# 1-Wire devices
option ONEWIREVERBOSE
owid* at onewire? # ID