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

Ingo Molnar
2017-12-18T12:33:56Z

* Will Deacon <will.deacon@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