Re: [PATCH] x86/kvm/tdx: Save %rbp in TDX_MODULE_CALL

Juergen Gross
2024-05-17T15:58:04Z

[-- Attachment #1.1.1: Type: text/plain, Size: 675 bytes --]

On 17.05.24 17:52, Dave Hansen wrote:
> 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.
>

Okay, how to get the TDX module version?

Juergen

[-- Attachment #1.1.2: OpenPGP public key --]
[-- Type: application/pgp-keys, Size: 3743 bytes --]

[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 495 bytes --]