Intel MPX (Skylake ISA) support?

Carsten Mattner carstenmattner at gmail.com
Sat Sep 13 19:47:13 UTC 2014


On Sat, Sep 13, 2014 at 6:20 PM, Konstantin Belousov
<kostikbel at gmail.com> wrote:
> On Sat, Sep 13, 2014 at 12:45:16PM +0200, Carsten Mattner wrote:
>> Are there any plans to include the necessary (kernel, libc) support for
>> Intel MPX (https://en.wikipedia.org/wiki/Intel_MPX)?
>
> I looked at this several times. The 319433 (Instructions Set Extensions
> prog reference) even at the current revision 20 still seems to not provide
> the complete documentation on the CPU side.  E.g., could you point me at
> the description of the save area for MPX ?  It is required since usermode
> bndcfg register can only be set by restoring from the XSAVE area.
>
> That said, I believe that most, if not all, of the needed kernel-side
> support is already there by the generic XSAVE code.
>
> I never see any specification of runtime services expected by the code
> generated by mpx-enabled gcc.

Is https://lkml.org/lkml/2014/9/11/182 helpful?


More information about the freebsd-arch mailing list