Intel MPX (Skylake ISA) support?

[Konstantin Belousov]

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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 819 bytes
Desc: not available
URL: <http://lists.freebsd.org/pipermail/freebsd-arch/attachments/20140913/85556336/attachment.sig>