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? /Jarkko
