diff options
Diffstat (limited to 'sys/arm/conf/CAMBRIA')
-rw-r--r-- | sys/arm/conf/CAMBRIA | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/arm/conf/CAMBRIA b/sys/arm/conf/CAMBRIA index 7bd7d49..174a7c7 100644 --- a/sys/arm/conf/CAMBRIA +++ b/sys/arm/conf/CAMBRIA @@ -39,7 +39,7 @@ options DEVICE_POLLING options KDB #options GDB options DDB #Enable the kernel debugger -#options DEADLKRES #Enable the deadlock resolver +#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 |