On 6/4/23 07:27, Kai Huang wrote: > +There is no CPUID or MSR to detect the TDX module. The kernel detects it > +by initializing it. Is this really what you want to say? If the module is there, SEAMCALL works. If not, it doesn't. The module is assumed to be there when SEAMCALL works. Right? Yeah, that first SEAMCALL is probably an initialization call, but feel like that's beside the point.
