aboutsummaryrefslogtreecommitdiff
path: root/sys/powerpc
diff options
context:
space:
mode:
Diffstat (limited to 'sys/powerpc')
-rw-r--r--sys/powerpc/conf/GENERIC1
-rw-r--r--sys/powerpc/conf/MPC85XX1
2 files changed, 2 insertions, 0 deletions
diff --git a/sys/powerpc/conf/GENERIC b/sys/powerpc/conf/GENERIC
index 4fda8cb0a8f6..03f3fec42b78 100644
--- a/sys/powerpc/conf/GENERIC
+++ b/sys/powerpc/conf/GENERIC
@@ -68,6 +68,7 @@ options INCLUDE_CONFIG_FILE # Include this file in kernel
# Debugging for use in -current
options KDB #Enable the kernel debugger
options DDB #Support DDB
+#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
diff --git a/sys/powerpc/conf/MPC85XX b/sys/powerpc/conf/MPC85XX
index 8e6badc78b72..2164f43069d7 100644
--- a/sys/powerpc/conf/MPC85XX
+++ b/sys/powerpc/conf/MPC85XX
@@ -22,6 +22,7 @@ options BOOTP_WIRED_TO=tsec0
options CD9660
options COMPAT_43
options DDB
+#options DEADLKRES
options DEVICE_POLLING
options HZ=1000
#options DIAGNOSTIC