[PATCH V7 0/8] Intel(R) MPX register support

[Mark Kettenis]

> From: Walfred Tedeschi <walfred.tedeschi@intel.com>
> Cc: gdb-patches@sourceware.org, Walfred Tedeschi <walfred.tedeschi@intel.com>
> 
> Mark and all,
> 
> I have noticed no feedback on this patch series. 
> Is there a major change that you would like to see in here?
> 
> Thanks a lot for your support,
> Best regards,
> -Fred

Walfred,

The only thing I'm still somewhat unhappy about the fact that this
introduces the "bndNraw" register names in addition to the "bndN"
names.  I think having both the "raw" and "cooked" variants present in
GDB's user interface will be confusing.  But it is hard to decide what
the right interface is for a feature that isn't available in hardware
yet and people don't really have any experience with debugging code
that uses MPX.