Hi, X32 support has been checked into Linux kernel v3.4-rc1. I started submitting x32 glibc and GDB patches. I added TLS specification to x32 psABI:
https://sites.google.com/site/x32abi/documents/abi.pdf?attredirects=0&d=1 I am planning to submit x32 extension to x86-64 psABI soon if there are no major issues. Thanks. -- H.J.