linux: update config to 4.13-rc2

This commit is contained in:
MilhouseVH 2017-09-04 23:43:31 +01:00
parent cb8853efcc
commit cf54bbecf6
3 changed files with 4 additions and 6 deletions

View File

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Linux/x86_64 4.13.0-rc1 Kernel Configuration
# Linux/x86_64 4.13.0-rc2 Kernel Configuration
#
CONFIG_64BIT=y
CONFIG_X86_64=y
@ -4471,6 +4471,7 @@ CONFIG_DVB_CXD2099=m
# USB Power Delivery and Type-C drivers
#
# CONFIG_TYPEC_TCPM is not set
# CONFIG_DRM_VBOXVIDEO is not set
CONFIG_X86_PLATFORM_DEVICES=y
# CONFIG_ACER_WMI is not set
# CONFIG_ACERHDF is not set
@ -4644,7 +4645,6 @@ CONFIG_NVMEM=y
# FSI support
#
# CONFIG_FSI is not set
# CONFIG_MULTIPLEXER is not set
#
# Firmware Drivers

View File

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Linux/arm 4.13.0-rc1 Kernel Configuration
# Linux/arm 4.13.0-rc2 Kernel Configuration
#
CONFIG_ARM=y
CONFIG_ARM_HAS_SG_CHAIN=y
@ -3886,7 +3886,6 @@ CONFIG_NVMEM=y
# FSI support
#
# CONFIG_FSI is not set
# CONFIG_MULTIPLEXER is not set
#
# Firmware Drivers

View File

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Linux/arm 4.13.0-rc1 Kernel Configuration
# Linux/arm 4.13.0-rc2 Kernel Configuration
#
CONFIG_ARM=y
CONFIG_ARM_HAS_SG_CHAIN=y
@ -3986,7 +3986,6 @@ CONFIG_NVMEM=y
#
# CONFIG_FSI is not set
# CONFIG_TEE is not set
# CONFIG_MULTIPLEXER is not set
#
# Firmware Drivers