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