On Wed, 2022-11-23 at 00:30 +0000, Huang, Kai wrote: > > > > Clearly that's nowhere spelled out in the documentation, but I don't > > buy the 'architecturaly required' argument not at all. It's an > > implementation detail of the TDX module. > > Hi Thomas, > > Thanks for review! > > I agree on hardware level there shouldn't be such requirement (not 100% sure > though), but I guess from kernel's perspective, "the implementation detail of > the TDX module" is sort of "architectural requirement" -- at least Intel arch > guys think so I guess. Let me double check with the TDX module folks and figure out the root of the requirement. Thanks.