1189025Sdfr#
2232067Scperciva# XENHVM -- Xen HVM kernel configuration file for FreeBSD/i386
3189025Sdfr#
4216365Srwatson# $FreeBSD$
5189025Sdfr#
6216365Srwatsoninclude		GENERIC
7202286Sjhbident		XENHVM
8189025Sdfr
9216365Srwatson#
10216365Srwatson# Adaptive locks rely on a lock-free pointer read to determine the run state
11216365Srwatson# of the thread holding a lock when under contention; under a virtualisation
12216365Srwatson# system, the thread run state may not accurately reflect whether the thread
13216365Srwatson# (or rather its host VCPU) is actually executing.  As such, disable this
14216365Srwatson# optimisation.
15216365Srwatson#
16191954Skuriyamaoptions 	NO_ADAPTIVE_MUTEXES
17191954Skuriyamaoptions 	NO_ADAPTIVE_RWLOCKS
18216405Srwatsonoptions 	NO_ADAPTIVE_SX
19189025Sdfr
20189025Sdfr# Xen HVM support
21191954Skuriyamaoptions 	XENHVM
22189025Sdfrdevice		xenpci
23