This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH 1/1] Add support for Intel PKRU register to GDB and GDBserver.
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Michael Sturm <michael dot sturm at intel dot com>
- Cc: mark dot kettenis at xs4all dot nl, palves at redhat dot com, gdb-patches at sourceware dot org
- Date: Thu, 17 Dec 2015 18:24:31 +0200
- Subject: Re: [PATCH 1/1] Add support for Intel PKRU register to GDB and GDBserver.
- Authentication-results: sourceware.org; auth=none
- References: <1450367024-8646-1-git-send-email-michael dot sturm at intel dot com>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> 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.