From 156eee4f21f9b47878355e0093f5a7808a008c3e Mon Sep 17 00:00:00 2001 From: Mike Belopuhov Date: Tue, 8 Dec 2015 22:04:08 +0000 Subject: 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 --- sys/arch/amd64/conf/GENERIC | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'sys/arch') 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 -- cgit v1.2.3