www.amd64.org is down

["H.J. Lu" <hjl dot tools at gmail dot com>]

Hi,

I am trying to submit my x32 extension to x86-64 discussion
mailing list.  But my email was bounced back.  Do we need
a more reliable place for x86-64 psABI?


H.J.
---------- Forwarded message ----------
From: Mail Delivery Subsystem <mailer-daemon@googlemail.com>
Date: Fri, Dec 7, 2012 at 1:02 PM
Subject: Delivery Status Notification (Failure)
To: hjl.tools@gmail.com


Delivery to the following recipient failed permanently:

     discuss@x86-64.org

Technical details of permanent failure:
The recipient server did not accept our requests to connect. Learn
more at http://support.google.com/mail/bin/answer.py?answer=7720
[(10) mail.x86-64.org. [217.9.48.20]:25: Connection timed out]

----- Original message -----

DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:date:message-id:subject:from:to:cc:content-type;
        bh=QINMp2O+4NZvU5NyJVN1pMR2IN7ClLyZY6EPx8djst0=;
        b=mSQ+YmhJiInSYD1Bu+3M6cl3DwcHuai5Par4awQU/ylSy9Kwobo2bKOy2jHj2RAvlv
         TtWe+zSXBM+6RCXBYEA3EwORunmayFH/K2yF8XqHQXFBh7Ywcf+Ip91wiSoDPpIBi6ca
         252uWQof8oMSpFwuU5pzk1lY0XQc84GDrw0aElnRfmGIzqCj1BHakpEgO/iiTz/NlaQV
         NPn2+tRaAaTq7AqzK23e/AyjckyoFur+QoggWM0fhho9vSsR/XtvxvP/vtwLEiMx9xlT
         vUfx8IHkVFRi55kI/oPDDqrvrGDZ8J4FJSWO/88kiKf74f/a9hEUzzUWqsVbqV0Id0U8
         7+FQ==
MIME-Version: 1.0
Received: by 10.224.146.74 with SMTP id g10mr24044414qav.93.1354645920248;
 Tue, 04 Dec 2012 10:32:00 -0800 (PST)
Received: by 10.49.12.210 with HTTP; Tue, 4 Dec 2012 10:31:59 -0800 (PST)
Date: Tue, 4 Dec 2012 10:31:59 -0800
Message-ID: <CAMe9rOrCb+5ZW17C_C2QhJbX_OBhqdyHCJ9q929NKndkpk_sQA@mail.gmail.com>
Subject: PING [discuss] [x86-64 psABI] RFC: Extend x86-64 psABI to support x32
From: "H.J. Lu" <hjl.tools@gmail.com>
To: Michael Matz <matz@suse.de>
Cc: "H. Peter Anvin" <hpa@zytor.com>, discuss@x86-64.org,
        GNU C Library <libc-alpha@sourceware.org>, GCC Development
<gcc@gcc.gnu.org>, GDB <gdb@sourceware.org>,
        x32-abi@googlegroups.com, Binutils <binutils@sourceware.org>
Content-Type: text/plain; charset=ISO-8859-1

On Thu, May 17, 2012 at 12:50 PM, H.J. Lu <hjl.tools@gmail.com> wrote:
> On Tue, May 15, 2012 at 9:07 AM, Michael Matz <matz@suse.de> wrote:
>> Hi,
>>
>> On Mon, 14 May 2012, H.J. Lu wrote:
>>
>>> > As a minor nitpick, I have always used x32 with a lower case x.  The
>>> > capital X32 looks odd to me.
>>> >
>>>
>>> I used X32 together with LP64.  I can use ILP32 instead of X32 when LP64
>>> is mentioned at the same time.
>>
>> I'd prefer that.  x32 is a nice short-hand name for the whole thing, but
>> not descriptive, unlike LP64.  So, yes, IMO it should be ILP32 in the ABI
>> document.
>>
>
> Here is the updated change.  Any comments?
>
> Thanks.
>

PING.

--
H.J.


-- 
H.J.