no DEBUG_VMASSERT committed

diff --git a/kernel/debug.h b/kernel/debug.h
index 24ce893bad4e230b21f67581c7552ad6b2ef5d3d..a988e07173fe392e2f156f6b6a412acf1f53aebf 100644 (file)
--- 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