Re: [PATCH v8 02/11] x86/tdx: Introduce INTEL_TDX_GUEST config option

[Sean Christopherson]

On Tue, Oct 05, 2021, Josh Poimboeuf wrote:
> On Mon, Oct 04, 2021 at 07:51:56PM -0700, Kuppuswamy Sathyanarayanan wrote:
> > +config INTEL_TDX_GUEST
> > +	bool "Intel Trusted Domain eXtensions Guest Support"
> 
> ...
> 
> > +	  Provide support for running in a trusted domain on Intel processors
> > +	  equipped with Trusted Domain eXtensions. TDX is a Intel technology
> 
> I haven't seen this particular punctuation "eXtensions" anywhere.  Intel
> documentation writes it as "Extensions".  Better to be consistent.

Heh, I suspect that one is my fault.

While we're nitpicking names, it's s/Trusted/Trust Domain Extensions.