From b176fafff818e6b73c143dc32144c32ead6fe712 Mon Sep 17 00:00:00 2001
From: Martin Kepplinger <martink@posteo.de>
Date: Mon, 20 May 2019 13:04:58 +0200
Subject: [PATCH] config/linux-x230: remove debug symbols

Remove debug symbols and dynamic debug support from Linux. This reduces
our resulting bzImage by 200K.

This should help when size becomes even more limited, see #562
---
 config/linux-x230.config | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/config/linux-x230.config b/config/linux-x230.config
index 44bd5ac6b3..dd5af0c155 100644
--- a/config/linux-x230.config
+++ b/config/linux-x230.config
@@ -226,14 +226,10 @@ CONFIG_NLS_ISO8859_1=y
 CONFIG_NLS_UTF8=y
 CONFIG_PRINTK_TIME=y
 CONFIG_BOOT_PRINTK_DELAY=y
-CONFIG_DYNAMIC_DEBUG=y
-CONFIG_DEBUG_INFO=y
-CONFIG_DEBUG_INFO_DWARF4=y
-CONFIG_GDB_SCRIPTS=y
 # CONFIG_ENABLE_WARN_DEPRECATED is not set
 # CONFIG_ENABLE_MUST_CHECK is not set
 CONFIG_FRAME_WARN=1024
-CONFIG_DEBUG_FS=y
+# CONFIG_UNUSED_SYMBOLS is not set
 CONFIG_MAGIC_SYSRQ=y
 CONFIG_HARDLOCKUP_DETECTOR=y
 CONFIG_WQ_WATCHDOG=y