linux (RPi): config options for 5.2-rc4

This commit is contained in:
MilhouseVH 2019-07-13 01:19:54 +01:00
parent 285d5d12e5
commit 3fb72e4b91
2 changed files with 4 additions and 4 deletions

View File

@ -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

View File

@ -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