Re: [PATCH] x86/pti: Add pti= cmdline option and documentation

From: Ingo Molnar
Date: Mon Dec 18 2017 - 07:34:01 EST


* Will Deacon <will.deacon@xxxxxxx> wrote:

> But I would still like to avoid divergence on the name.

Please rename it to 'PTI' to sync the naming with x86.

Thanks,

Ingo