X-Git-Url: https://git.tld-linux.org/?a=blobdiff_plain;f=kernel-vanilla-x86_64.config;h=4893ab657473f8ad73f7c9cfcb820a0ec420aa73;hb=6aa2075554c58c46c52fac7956110b10b8e7d7b8;hp=ad101dd92d19491ef6fd36f9fb4232b9dade9187;hpb=5c3d2beb18074d96d4da93b3b35d3a92d2cf477c;p=packages%2Fkernel.git

diff --git a/kernel-vanilla-x86_64.config b/kernel-vanilla-x86_64.config
index ad101dd..4893ab6 100644
--- a/kernel-vanilla-x86_64.config
+++ b/kernel-vanilla-x86_64.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 4.9.173-4.9-vanilla Kernel Configuration
+# Linux/x86 4.9.232-4.9-vanilla Kernel Configuration
 #
 CONFIG_64BIT=y
 CONFIG_X86_64=y
@@ -589,6 +589,9 @@ CONFIG_ARCH_RANDOM=y
 CONFIG_X86_SMAP=y
 CONFIG_X86_INTEL_MPX=y
 CONFIG_X86_INTEL_MEMORY_PROTECTION_KEYS=y
+CONFIG_X86_INTEL_TSX_MODE_OFF=y
+# CONFIG_X86_INTEL_TSX_MODE_ON is not set
+# CONFIG_X86_INTEL_TSX_MODE_AUTO is not set
 CONFIG_EFI=y
 CONFIG_EFI_STUB=y
 # CONFIG_EFI_MIXED is not set
@@ -6398,7 +6401,6 @@ CONFIG_USB_EMI62=m
 CONFIG_USB_EMI26=m
 CONFIG_USB_ADUTUX=m
 CONFIG_USB_SEVSEG=m
-CONFIG_USB_RIO500=m
 CONFIG_USB_LEGOTOWER=m
 CONFIG_USB_LCD=m
 CONFIG_USB_CYPRESS_CY7C63=m
@@ -7671,6 +7673,7 @@ CONFIG_EFI_RUNTIME_WRAPPERS=y
 CONFIG_EFI_BOOTLOADER_CONTROL=m
 CONFIG_EFI_CAPSULE_LOADER=m
 CONFIG_EFI_TEST=m
+CONFIG_EFI_CUSTOM_SSDT_OVERLAYS=y
 CONFIG_UEFI_CPER=y
 
 #
@@ -8233,6 +8236,7 @@ CONFIG_DOUBLEFAULT=y
 # CONFIG_IOMMU_DEBUG is not set
 # CONFIG_IOMMU_STRESS is not set
 CONFIG_HAVE_MMIOTRACE_SUPPORT=y
+# CONFIG_X86_DECODER_SELFTEST is not set
 CONFIG_IO_DELAY_TYPE_0X80=0
 CONFIG_IO_DELAY_TYPE_0XED=1
 CONFIG_IO_DELAY_TYPE_UDELAY=2