lkml.org 
[lkml]   [2024]   [May]   [17]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
SubjectRe: [PATCH] x86/kvm/tdx: Save %rbp in TDX_MODULE_CALL
From
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.

\
 
 \ /
  Last update: 2024-05-27 18:30    [W:0.073 / U:0.680 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site