diff options
author | Mike Belopuhov <mikeb@cvs.openbsd.org> | 2015-12-08 22:04:08 +0000 |
---|---|---|
committer | Mike Belopuhov <mikeb@cvs.openbsd.org> | 2015-12-08 22:04:08 +0000 |
commit | 156eee4f21f9b47878355e0093f5a7808a008c3e (patch) | |
tree | 0743f1e7c5ff16116a4579a9697115a54de809cd /sys/arch/amd64 | |
parent | 8c9f111e51e710018a4bb4b05ff3d12439de8eb6 (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/GENERIC | 4 |
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 |