Fix void* arithmetic bug. Add dassert facility.
[akaros.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index 605b873..0981d1f 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -123,6 +123,12 @@ config TRACE_LOCKS
 
 endmenu
 
+config DEVELOPMENT_ASSERTIONS
+       bool "dasserts"
+       default n
+       help
+               Turn on dassert() in code, dassert will compile to assert().
+
 config SPINLOCK_DEBUG
        bool "Spinlock debugging"
        default n