Messages in this thread | | | Date | Fri, 17 May 2024 17:58:01 +0200 | Subject | Re: [PATCH] x86/kvm/tdx: Save %rbp in TDX_MODULE_CALL | From | Juergen Gross <> |
| |
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 [unhandled content-type:application/pgp-keys][unhandled content-type:application/pgp-signature] | |