diff --git a/config/debug.in b/config/debug.in
new file mode 100644
index 00000000..faa165ec
--- /dev/null
+++ b/config/debug.in
@@ -0,0 +1,3 @@
+menu "Debug facilities"
+source config.gen/debug.in
+endmenu
diff --git a/config/tools.in b/config/tools.in
new file mode 100644
index 00000000..fe736090
--- /dev/null
+++ b/config/tools.in
@@ -0,0 +1,3 @@
+menu "Tools facilities"
+source config.gen/tools.in
+endmenu