On 07/05/20 18:06, Babu Moger wrote: >>> So, for now my preference would be to change the prompt, but leave the >>> CONFIG_ naming in place. >> I agree. >> >> What's in a name? An Intel rose by any other name would smell as sweet. > > How about X86_MPK? Or I will use already proposed name > X86_MEMORY_PROTECTION_KEYS. Dave is proposing to keep the CONFIG_ as is and only change the prompt. Paolo