From 559a1e7b023c845510e89df83af317999944e3a0 Mon Sep 17 00:00:00 2001 From: MilhouseVH Date: Sat, 13 Jul 2019 01:19:54 +0100 Subject: [PATCH] linux (Generic): config options for 5.2-rc4 --- projects/Generic/linux/linux.x86_64.conf | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/projects/Generic/linux/linux.x86_64.conf b/projects/Generic/linux/linux.x86_64.conf index cca0b8d980..9928efd2cb 100644 --- a/projects/Generic/linux/linux.x86_64.conf +++ b/projects/Generic/linux/linux.x86_64.conf @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86_64 5.2.0-rc3 Kernel Configuration +# Linux/x86_64 5.2.0-rc4 Kernel Configuration # # @@ -119,7 +119,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=16 CONFIG_LOG_CPU_MAX_BUF_SHIFT=12 CONFIG_PRINTK_SAFE_LOG_BUF_SHIFT=13