Skip to content

Commit

Permalink
Merge: linux/common-config: enable Intel TDX guest support (#344372)
Browse files Browse the repository at this point in the history
  • Loading branch information
Ma27 authored Nov 15, 2024
2 parents 8fddead + 41a390a commit 302ee11
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 302ee11

Please sign in to comment.