@Andrea
The patches are applied to tip/tdx branch.
https://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git/commit/?h=x86/tdx&id=6c8c1406a6d6a3f2e61ac590f5c0994231bc6be7
@Andrea
The patches are applied to tip/tdx branch.
https:/ /git.kernel. org/pub/ scm/linux/ kernel/ git/tip/ tip.git/ commit/ ?h=x86/ tdx&id= 6c8c1406a6d6a3f 2e61ac590f5c099 4231bc6be7