#
# XENHVM -- Xen HVM kernel configuration file for FreeBSD/i386
#
# $FreeBSD: release/9.1.0/sys/i386/conf/XENHVM 239639 2012-08-24 05:36:37Z cperciva $
#
include		GENERIC
ident		XENHVM

#
# Adaptive locks rely on a lock-free pointer read to determine the run state
# of the thread holding a lock when under contention; under a virtualisation
# system, the thread run state may not accurately reflect whether the thread
# (or rather its host VCPU) is actually executing.  As such, disable this
# optimisation.
#
options 	NO_ADAPTIVE_MUTEXES
options 	NO_ADAPTIVE_RWLOCKS
options 	NO_ADAPTIVE_SX

# Xen HVM support
options 	XENHVM
device		xenpci