On Tue, Dec 12, 2017 at 02:28:56PM +0000, Will Deacon wrote: > On Tue, Dec 12, 2017 at 02:39:52PM +0100, Borislav Petkov wrote: > > From: Borislav Petkov <[email protected]> > > > > Keep the "nopti" for traditional reasons. > > > > Requested-by: Linus Torvalds <[email protected]> > > Signed-off-by: Borislav Petkov <[email protected]> > > Cc: Linus Torvalds <[email protected]> > > Cc: Andy Lutomirsky <[email protected]> > > Cc: Peter Zijlstra <[email protected]> > > Cc: Dave Hansen <[email protected]> > > Cc: Greg KH <[email protected]> > > Cc: [email protected] > > Cc: [email protected] > > Cc: Brian Gerst <[email protected]> > > Cc: Josh Poimboeuf <[email protected]> > > Cc: Denys Vlasenko <[email protected]> > > Cc: Boris Ostrovsky <[email protected]> > > Cc: Juergen Gross <[email protected]> > > Cc: David Laight <[email protected]> > > Cc: Eduardo Valentin <[email protected]> > > Cc: [email protected] > > Cc: Will Deacon <[email protected]> > > Cc: [email protected] > > --- > > Documentation/admin-guide/kernel-parameters.txt | 6 ++++++ > > arch/x86/mm/pti.c | 18 ++++++++++++++++++ > > 2 files changed, 24 insertions(+) > > On arm64, I've gone for kpti=. I'm happy to change this to align with x86, > but the patches are queued now so I don't want to keep changing it. > > Is "pti=" definitely what you're going for on x86?
It was pointed out to me yesterday that "kpti" can be pronounced "cuppatea", whereas "pti" doesn't roll off the tongue nearly so easily this side of the pond. But I would still like to avoid divergence on the name. Will
