From 3fb72e4b9187b2c72f432a9d9b8ed106727fc1ec Mon Sep 17 00:00:00 2001 From: MilhouseVH Date: Sat, 13 Jul 2019 01:19:54 +0100 Subject: [PATCH] linux (RPi): config options for 5.2-rc4 --- projects/RPi/devices/RPi/linux/linux.arm.conf | 4 ++-- projects/RPi/devices/RPi2/linux/linux.arm.conf | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/projects/RPi/devices/RPi/linux/linux.arm.conf b/projects/RPi/devices/RPi/linux/linux.arm.conf index 7de8a4150e..7e2be791f4 100644 --- a/projects/RPi/devices/RPi/linux/linux.arm.conf +++ b/projects/RPi/devices/RPi/linux/linux.arm.conf @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/arm 5.2.0-rc3 Kernel Configuration +# Linux/arm 5.2.0-rc4 Kernel Configuration # # @@ -101,7 +101,7 @@ CONFIG_TINY_SRCU=y CONFIG_IKCONFIG=m CONFIG_IKCONFIG_PROC=y -# CONFIG_IKHEADERS_PROC is not set +# CONFIG_IKHEADERS is not set CONFIG_LOG_BUF_SHIFT=17 CONFIG_PRINTK_SAFE_LOG_BUF_SHIFT=13 CONFIG_GENERIC_SCHED_CLOCK=y diff --git a/projects/RPi/devices/RPi2/linux/linux.arm.conf b/projects/RPi/devices/RPi2/linux/linux.arm.conf index e8836f0275..c52b6ca871 100644 --- a/projects/RPi/devices/RPi2/linux/linux.arm.conf +++ b/projects/RPi/devices/RPi2/linux/linux.arm.conf @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/arm 5.2.0-rc3 Kernel Configuration +# Linux/arm 5.2.0-rc4 Kernel Configuration # # @@ -108,7 +108,7 @@ CONFIG_RCU_NEED_SEGCBLIST=y CONFIG_IKCONFIG=m CONFIG_IKCONFIG_PROC=y -# CONFIG_IKHEADERS_PROC is not set +# CONFIG_IKHEADERS is not set CONFIG_LOG_BUF_SHIFT=17 CONFIG_LOG_CPU_MAX_BUF_SHIFT=12 CONFIG_PRINTK_SAFE_LOG_BUF_SHIFT=13