summaryrefslogtreecommitdiffstats
path: root/configs/platform-rpi/kernelconfig
diff options
context:
space:
mode:
authorRoland Hieber <r.hieber@pengutronix.de>2018-11-15 10:43:59 +0100
committerRoland Hieber <r.hieber@pengutronix.de>2018-11-18 22:32:30 +0100
commit5c01660131a904d8596e1f8d447736943c6ebb05 (patch)
tree1ab1b845dcd0728f5f8e82f099c02eeb978682f3 /configs/platform-rpi/kernelconfig
parent2ce7b3c003cb47f262b189e60bc818d537180539 (diff)
downloadDistroKit-5c01660131a904d8596e1f8d447736943c6ebb05.tar.gz
DistroKit-5c01660131a904d8596e1f8d447736943c6ebb05.tar.xz
rpi: kernel: enable /proc/config.gz
/proc/config.gz is useful for debugging or rebuilding the kernel. Signed-off-by: Roland Hieber <r.hieber@pengutronix.de>
Diffstat (limited to 'configs/platform-rpi/kernelconfig')
-rw-r--r--configs/platform-rpi/kernelconfig4
1 files changed, 3 insertions, 1 deletions
diff --git a/configs/platform-rpi/kernelconfig b/configs/platform-rpi/kernelconfig
index 2e36223..3a1b7f9 100644
--- a/configs/platform-rpi/kernelconfig
+++ b/configs/platform-rpi/kernelconfig
@@ -90,7 +90,9 @@ CONFIG_TINY_RCU=y
# CONFIG_RCU_EXPERT is not set
CONFIG_SRCU=y
CONFIG_TINY_SRCU=y
-# CONFIG_IKCONFIG is not set
+CONFIG_BUILD_BIN2C=y
+CONFIG_IKCONFIG=y
+CONFIG_IKCONFIG_PROC=y
CONFIG_LOG_BUF_SHIFT=18
CONFIG_PRINTK_SAFE_LOG_BUF_SHIFT=13
CONFIG_GENERIC_SCHED_CLOCK=y