On Wed, Oct 12, 2011 at 12:28, H.J. Lu <hjl.tools@gmail.com> wrote: > 1. The file name of an x32 binary package needs to be marked as x32. i would think this would be completely a package manager issue and out of scope for any ABI project such as x32 -mike