Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 13 Sep 2014 19:20:59 +0300
From:      Konstantin Belousov <kostikbel@gmail.com>
To:        Carsten Mattner <carstenmattner@gmail.com>
Cc:        freebsd-arch@freebsd.org
Subject:   Re: Intel MPX (Skylake ISA) support?
Message-ID:  <20140913162059.GU2737@kib.kiev.ua>
In-Reply-To: <CACY%2BHvoMDFLJLy7hz3guJNrJH8gmi5Vh9-rYeRErr2JgDhV2yw@mail.gmail.com>
References:  <CACY%2BHvoMDFLJLy7hz3guJNrJH8gmi5Vh9-rYeRErr2JgDhV2yw@mail.gmail.com>

next in thread | previous in thread | raw e-mail | index | archive | help

--2/GGPHUoweZ2WGWr
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline

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.

--2/GGPHUoweZ2WGWr
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBAgAGBQJUFG7rAAoJEJDCuSvBvK1BYXwP/06nzQAyXijTOJyZ2PB0CSG+
JP/oGqS2DgzoCTZPeX+wNlP8OnJ6bzhXn9AxvIpuH6TDHr11x6gE8SiEnLlG9P2x
pv7BNy7MOo0LRKazZq2Vma80KNduoHESVJXMUUoumFJ3iKsRI+vcaBx4b0jTNtzn
WLhwMJWzNcU6WdYdrQVFAkbz8pM4yuOy0Dix9DAFlYx3nWhOKeSizgySGgTTQUJS
MuvnoocXKS65+q8Z6Uk0XqbTjrrii81baam14BMB6o9wNTAvAhjMT7akr0cJRKzD
IhsMzzY4T/h1uIT76cjZivNzDahm+8rKk9cZkKZjKCqBLK1hw1f41ivvOWjKASvn
/Uza6bl1XEDQ8/LrDYz8YR/3sif/wcWiaDHs4kcTdP0PXOGf7ZpNjhfwJrbNSmla
LJ2u0SfO1GPXNPhBBdmQhqY3/kczGuDIJi4b67D+vJaCHVN4IZin//G/SbjJQp/h
bIxUbKt0d83LEcC9bapS6GXtqzGYdvO1PJxNojTyYrNyyAk1k/o/ZcNn/USyhO02
Cle7nGuKFUCq/6ArHTqaRgdybCnazw727faW/K+4r/x7usmuM169/ItrrqTFfkCz
6X+ATD7sVMSk7lTcFZa4qGR74DxPw7vtehkQYQddKgUSPK0mh1aVDZw1U/K2vu8W
Ft1V4Pk1V2yVE7MAPE9R
=GDM0
-----END PGP SIGNATURE-----

--2/GGPHUoweZ2WGWr--



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20140913162059.GU2737>