diff options
author | Roland Hieber <r.hieber@pengutronix.de> | 2018-11-15 10:43:59 +0100 |
---|---|---|
committer | Roland Hieber <r.hieber@pengutronix.de> | 2018-11-18 22:32:30 +0100 |
commit | 5c01660131a904d8596e1f8d447736943c6ebb05 (patch) | |
tree | 1ab1b845dcd0728f5f8e82f099c02eeb978682f3 /configs/platform-rpi/kernelconfig | |
parent | 2ce7b3c003cb47f262b189e60bc818d537180539 (diff) | |
download | DistroKit-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/kernelconfig | 4 |
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 |