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

[Sturm, Michael]

Thank you Eli!

Any other feedback on this is welcome :-)

https://sourceware.org/ml/gdb-patches/2015-12/msg00337.html

Thanks and Regards,
Michael

> -----Original Message-----
> From: Eli Zaretskii [mailto:eliz@gnu.org]
> Sent: Thursday, December 17, 2015 5:25 PM
> To: Sturm, Michael
> Cc: mark.kettenis@xs4all.nl; palves@redhat.com; gdb-
> patches@sourceware.org
> Subject: Re: [PATCH 1/1] Add support for Intel PKRU register
> to GDB and GDBserver.
>
> > 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.



Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928