Skip to content

Commit

Permalink
Merge: [Backport release-24.11] linux/common-config: enable Intel TDX…
Browse files Browse the repository at this point in the history
… guest support (#356149)
  • Loading branch information
Ma27 authored Nov 15, 2024
2 parents e0952cc + 842dcb6 commit 3d3707e
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions pkgs/os-specific/linux/kernel/common-config.nix
Original file line number Diff line number Diff line change
Expand Up @@ -769,6 +769,10 @@ let
# Shadow stacks
X86_USER_SHADOW_STACK = whenAtLeast "6.6" yes;

# Enable support for Intel Trust Domain Extensions (TDX)
INTEL_TDX_GUEST = whenAtLeast "5.19" yes;
TDX_GUEST_DRIVER = whenAtLeast "6.2" module;

# Mitigate straight line speculation at the cost of some file size
SLS = whenBetween "5.17" "6.9" yes;
MITIGATION_SLS = whenAtLeast "6.9" yes;
Expand Down

0 comments on commit 3d3707e

Please sign in to comment.