1 files changed, 4 insertions, 0 deletions
diff --git a/Config.in b/Config.in
index 1e8f9e28db..b9716e8b2c 100644
--- a/Config.in
+++ b/Config.in
@@ -142,6 +142,10 @@ config EXTERNAL_KERNEL_TREE
 	prompt "Use external kernel tree" if DEVEL
 	default ""
 
+config BUILD_DEVELOPER_SYSTEM
+	bool "build a non-stripped system, so gcc can be run natively on target" if DEVEL
+	default n
+
 source "toolchain/Config.in"
 menuconfig BUILDSYSTEM_SETTINGS
     bool "Buildsystem settings"