@ -21,7 +21,7 @@ with lib.kernel;
X86_VSYSCALL_EMULATION = no;
LEGACY_VSYSCALL_NONE = yes;
X86_INTEL_TSX_MODE_AUTO = yes;
X86_INTEL_TSX_MODE_AUTO = option yes;
X86_USER_SHADOW_STACK = yes;
EFI_HANDOVER_PROTOCOL = no;