NetBSD-5.0.2/sys/arch/i386/conf/XEN3_DOM0

#	$NetBSD: XEN3_DOM0,v 1.10 2008/05/18 22:05:59 cegger Exp $
#
#	XEN3_0: Xen 3.0 domain0 kernel

include "arch/i386/conf/XEN2_DOM0"

options 	XEN3	#Xen 3.x support

# boot messages with MPBIOS, acpi and ioapic can be quite large
options 	MSGBUFSIZE=24576

vcpu*		at hypervisor?		# Xen virtual CPUs
xenbus*		at hypervisor?		# Xen virtual bus
ppb*	at pci? dev ? function ?	# PCI-PCI bridges
pci*	at ppb? bus ?

acpi0 		at hypervisor?
options 	MPBIOS
options 	MPDEBUG
options 	MPVERBOSE
options 	ACPIVERBOSE
#options 	PCI_ADDR_FIXUP		# fixup PCI I/O addresses
#options 	PCI_BUS_FIXUP		# fixup PCI bus numbering
#options 	PCI_INTR_FIXUP		# fixup PCI interrupt routing

ioapic*		at mainbus? apid ?

# ACPI devices
acpiacad* 	at acpi?		# ACPI AC Adapter
acpibat* 	at acpi?		# ACPI Battery
acpibut* 	at acpi?		# ACPI Button
acpidalb*	at acpi?		# ACPI Direct Application Launch Button
# The ACPI Embedded Controller is generally configured via the special ECDT.
# This is required as parts of the DSDT can reference the EC before the normal
# attach phase.
acpiec* 	at acpi?		# ACPI Embedded Controller (late binding)
acpiecdt* 	at acpi?		# ACPI Embedded Controller (early binding)
acpilid* 	at acpi?		# ACPI Lid Switch
hpqlb*		at acpi?		# HP Quick Launch Buttons
 
pseudo-device	xvif
pseudo-device	xbdback