Re: [v3] x86/doc: add PTI description

[David Taylor]

On Thu, 04 Jan 2018, Dave Hansen wrote:

> diff -puN /dev/null Documentation/x86/pti.txt
> --- /dev/null	2017-12-15 13:48:30.454245127 -0800
> +++ b/Documentation/x86/pti.txt	2018-01-04 21:38:28.826772303 -0800
> @@ -0,0 +1,187 @@
[...]
> +This sharing at the PGD level also inherently shares all the lower
> +layers of the page tables.  This leaves a single, shared set of
> +userspace page tables to manage.  One PTE to lock, one set set of
> +accessed bits, dirty bits, etc...

one set set -> one set

[...]
> +2. Allow PTI to enabled/disabled at runtime in addition to the
> +   boot-time switching.

to -> to be

--
David Taylor