Hi, This is the x32 project status update:
https://sites.google.com/site/x32abi/ With the latest x32 kernel, glibc, gcc and gdb, everything works, including core dump and vDSO. I'd like to see x32 kernel system call numbers be finalized so that people don't have to recompile everything if the final x32 kernel system call numbers are different from the current one. I started to prepare merging GCC x32 branch with trunk followed by glibc and gdb patches. I have sent 7 middle-end patches so far. I got feedbacks on 3 of them. I checked in one patch. I provided one update and I am investigating the 3rd feedback. I have more middle-end patches. -- H.J.