diff --git a/kernel/debug.h b/kernel/debug.h index 24ce893ba..a988e0717 100644 --- a/kernel/debug.h +++ b/kernel/debug.h @@ -25,7 +25,7 @@ #define DEBUG_TIME_LOCKS 1 /* Runtime sanity checking. */ -#define DEBUG_VMASSERT 1 +#define DEBUG_VMASSERT 0 #define DEBUG_SCHED_CHECK 0 #define DEBUG_STACK_CHECK 0 #define DEBUG_TRACE 0