X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=4.9%2Fx86-64;h=a36a4213cc3b730597bb436564f8586a3058822e;hb=260f8d33c843f7c212c39a992b7d8e66921aea97;hp=1ec7e97a8b8d4d2b774170604046414b7e94f6eb;hpb=224850214739d5104bb257a70d1e468dbf45024b;p=kernel-configs.git

diff --git a/4.9/x86-64 b/4.9/x86-64
index 1ec7e97..a36a421 100644
--- a/4.9/x86-64
+++ b/4.9/x86-64
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86_64 4.9.198-gnu Kernel Configuration
+# Linux/x86_64 4.9.233-gnu Kernel Configuration
 #
 CONFIG_64BIT=y
 CONFIG_X86_64=y
@@ -603,6 +603,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=y
@@ -7973,6 +7976,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
 
 #