On Tue, Apr 19, 2022 at 05:48:57AM -0700, Sathyanarayanan Kuppuswamy wrote: > Make sense. We can just go with CONFIG_INTEL_TDX_ATTESTATION. Sounds like you didn't read my mail. Kai was questioning the need for a Kconfig symbol at all. And me too. If this thing is not going to be used by anything else besides TDX guests, why does it need a Kconfig option at all?! > Boris, this is a simple platform driver which adds IOCTL interfaces to allow > user space to get TDREPORT and TDQuote support. > > So, would prefer to leave in platform/x86 or move it to arch/x86/coco/tdx/ ? See above. -- Regards/Gruss, Boris. https://people.kernel.org/tglx/notes-about-netiquette