Re: [PATCH 1/1] Add support for Intel PKRU register to GDB and GDBserver.

Eli Zaretskii
2015-12-17T16:24:22Z

> From: Michael Sturm <michael.sturm@intel.com>
> Cc: gdb-patches@sourceware.org, michael.sturm@intel.com
> Date: Thu, 17 Dec 2015 16:43:44 +0100
>
> This patch adds support for the registers added by the
> Memory Protection Keys for Userspace (PKU aka PKEYs) feature.
> Native and remote debugging are covered by this patch.

Thanks.

> +The @samp{org.gnu.gdb.i386.pkeys} feature is optional. It should
^^
Two spaces between sentences, please.

Other than that, the documentation part is OK.