aboutsummaryrefslogtreecommitdiff
path: root/sys/arm/conf/IQ31244
diff options
context:
space:
mode:
Diffstat (limited to 'sys/arm/conf/IQ31244')
-rw-r--r--sys/arm/conf/IQ312441
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/arm/conf/IQ31244 b/sys/arm/conf/IQ31244
index 46217563eb2a..2cb7a28253f4 100644
--- a/sys/arm/conf/IQ31244
+++ b/sys/arm/conf/IQ31244
@@ -94,6 +94,7 @@ device "iq31244_7seg" # IQ31244 7 seg
# Debugging for use in -current
options KDB
options DDB #Enable the kernel debugger
+#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