Hi, We made lots of progresses on x32 pABI:
https://sites.google.com/site/x32abi/ 1. Kernel interface with syscall is close to be finalized. 2. GCC x32 branch is stabilizing. 3. The Bionic C library works with the syscall kernel interface. The next major milestone will be x32 glibc port. -- H.J.
