From 5c01660131a904d8596e1f8d447736943c6ebb05 Mon Sep 17 00:00:00 2001 From: Roland Hieber Date: Thu, 15 Nov 2018 10:43:59 +0100 Subject: rpi: kernel: enable /proc/config.gz /proc/config.gz is useful for debugging or rebuilding the kernel. Signed-off-by: Roland Hieber --- configs/platform-rpi/kernelconfig | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'configs') 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 -- cgit v1.2.3