On 5/7/20 11:07 AM, Paolo Bonzini wrote: > 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. Ok. Got it. thanks