diff options
Diffstat (limited to 'sys/arm/conf/SKYEYE')
-rw-r--r-- | sys/arm/conf/SKYEYE | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/arm/conf/SKYEYE b/sys/arm/conf/SKYEYE index 51ad63a..b3aad2a 100644 --- a/sys/arm/conf/SKYEYE +++ b/sys/arm/conf/SKYEYE @@ -68,7 +68,7 @@ device uart # output. Adds ~215k to driver. # Debugging for use in -current -#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 |