On 05/14/2012 10:31 AM, H.J. Lu wrote:
> Hi,
>
> Support for the x32 psABI:
>
> http://sites.google.com/site/x32abi/
>
> is added in Linux kernel 3.4-rc1. X32 uses the ILP32 model for x86-64
> instruction set with size of long and pointers == 4 bytes. X32 is
> already supported in GCC 4.7.0 and binutils 2.22. I am now working
> to integrate x32 support into GLIBC 2.16 and GDB 7.5 Here is a
> patch to extend x86-64 psABI for x32. Any comments?
>
As a minor nitpick, I have always used x32 with a lower case x. The
capital X32 looks odd to me.
-hpa
