diff options
Diffstat (limited to 'sys/amd64/conf/XENHVM')
| -rw-r--r-- | sys/amd64/conf/XENHVM | 1 |
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 |