On Mon, Oct 19, 2020 at 11:45:58AM +0300, Jarkko Sakkinen wrote: > On Sat, Oct 03, 2020 at 07:50:43AM +0300, Jarkko Sakkinen wrote: > > +config INTEL_SGX > > Since the directory for this was renamed some iterations ago from > arch/x86/kernel/cpu/sgx to intel_sgx given the feedback from Boris, > I'm wondering should this also be renamed as X86_SGX? I don't think it matters. I hardly doubt there will be anything else "SGX" besides the Intel one... -- Regards/Gruss, Boris. https://people.kernel.org/tglx/notes-about-netiquette