On Mon, May 14, 2012 at 10:34 AM, H. Peter Anvin <h...@zytor.com> wrote: > 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. >
I used X32 together with LP64. I can use ILP32 instead of X32 when LP64 is mentioned at the same time. -- H.J.
