aboutsummaryrefslogtreecommitdiff
path: root/sys/amd64/conf/XENHVM
diff options
context:
space:
mode:
Diffstat (limited to 'sys/amd64/conf/XENHVM')
-rw-r--r--sys/amd64/conf/XENHVM1
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/amd64/conf/XENHVM b/sys/amd64/conf/XENHVM
index 4c1981cf8199..717f7b34ba9c 100644
--- a/sys/amd64/conf/XENHVM
+++ b/sys/amd64/conf/XENHVM
@@ -70,6 +70,7 @@ options NO_ADAPTIVE_RWLOCKS
options KDB # Enable kernel debugger support.
options DDB # Support DDB.
options GDB # Support remote GDB.
+options DEADLKRES # Enable the deadlock resolver
options INVARIANTS # Enable calls of extra sanity checking
options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
options WITNESS # Enable checks to detect deadlocks and cycles