summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--rules/kernel.in5
-rw-r--r--rules/platforms.in5
2 files changed, 4 insertions, 6 deletions
diff --git a/rules/kernel.in b/rules/kernel.in
index 4ec9c5d2c..1b6733961 100644
--- a/rules/kernel.in
+++ b/rules/kernel.in
@@ -1,4 +1,7 @@
-## SECTION=debug_tools
+## SECTION=core
+
+config KERNEL
+ bool
config KERNEL_VMLINUX
bool
diff --git a/rules/platforms.in b/rules/platforms.in
deleted file mode 100644
index 473e078de..000000000
--- a/rules/platforms.in
+++ /dev/null
@@ -1,5 +0,0 @@
-## SECTION=core
-
-config KERNEL
- bool
-