X86_X2APIC all=y
X86_MPPARSE x86=y
X86_BIGSMP i386=y
+RETPOLINE x86=y
X86_EXTENDED_PLATFORM i386=y x86_64=y
X86_NUMACHIP all=n
X86_VSMP x86_64=n
TOSHIBA i386=m
I8K x86=m
X86_REBOOTFIXUPS i386=y
-MICROCODE x86=m
+MICROCODE all=y
MICROCODE_INTEL x86=y
MICROCODE_AMD x86=y
X86_MSR x86=m
MTRR_SANITIZER_SPARE_REG_NR_DEFAULT x86=1
X86_PAT x86=y
X86_INTEL_MPX x86=y
+X86_INTEL_TSX_MODE_OFF all=y
+X86_INTEL_TSX_MODE_ON all=n
+X86_INTEL_TSX_MODE_AUTO all=n
EFI x86=y
EFI_STUB all=y
SECCOMP x86=y
BOOTPARAM_HOTPLUG_CPU0 all=n
DEBUG_HOTPLUG_CPU0 all=n
COMPAT_VDSO x86=n
+LEGACY_VSYSCALL_NATIVE all=n
+LEGACY_VSYSCALL_EMULATE all=n
+LEGACY_VSYSCALL_NONE all=y
CMDLINE_BOOL x86=n
#- file kernel/livepatch/Kconfig goes here
#- file kernel/power/Kconfig goes here
#- file drivers/firmware/Kconfig goes here
#- file fs/Kconfig goes here
#- file arch/x86/Kconfig.debug goes here
+#- file kernel/vserver/Kconfig goes here
#- file security/Kconfig goes here
#- file crypto/Kconfig goes here
#- file arch/x86/kvm/Kconfig goes here
#- file samples/Kconfig goes here
#- file lib/Kconfig.kgdb goes here
+#-
+#- *** FILE: security/Kconfig ***
+#-
+#- file security/keys/Kconfig goes here
+PAGE_TABLE_ISOLATION x86_64=y
+#- file security/selinux/Kconfig goes here
+#- file security/smack/Kconfig goes here
+#- file security/tomoyo/Kconfig goes here
+#- file security/apparmor/Kconfig goes here
+#- file security/yama/Kconfig goes here
+#- file security/integrity/Kconfig goes here
+
#-
#- *** PROBABLY REMOVED OPTIONS ***
#-