Hi, www.x86-64.org was down for several months and it is up now, but not in its full capacity. I created a x86-64 psABI group: https://groups.google.com/forum/?hl=en#!forum/x86-64-abi so that there is a mailing list we can discuss x86-64 psABI related issues. Thanks. -- H.J.