From 0aa7d8c2d65ff7116651e4301a4305c4244a6346 Mon Sep 17 00:00:00 2001
From: Daniel Poelzleithner <git@poelzi.org>
Date: Sat, 3 Jul 2010 00:18:07 +0200
Subject: [PATCH] add debug config option

---
 tools/config.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tools/config.py b/tools/config.py
index 1a98cb6..4955082 100755
--- a/tools/config.py
+++ b/tools/config.py
@@ -35,6 +35,10 @@ DATA = {
         "default": rand_hw()
 },
 
+"DEBUG": {
+        "name": "Debug",
+        "default": False},
+
 # modules
 
 "CONFIG_ACCEL": {