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

[Ingo Molnar]

* Will Deacon <will.dea...@arm.com> 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