On 5/17/24 08:48, Juergen Gross wrote:
Is the BIOS version printed at boot enough to see what I have?
[ 0.000000] DMI: Intel Corporation D50DNP/D50DNP, BIOS
SE5C7411.86B.9535.D04.2312270518 12/27/2023
I honestly don't know.
What we actually need is the TDX module version. I'm not sure how
tightly tied the TDX module is to the BIOS version. I suspect that
they're actually completely independent.
Once we have the specific TDX module version, we can go ask the folks
who write it if there were any RBP clobbering bugs.
Attachment:
OpenPGP_0xB0DE9DD628BF132F.asc
Description: OpenPGP public key
Attachment:
OpenPGP_signature.asc
Description: OpenPGP digital signature