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 <[email protected]> Date: Fri, Dec 7, 2012 at 1:02 PM Subject: Delivery Status Notification (Failure) To: [email protected] Delivery to the following recipient failed permanently: [email protected] 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_...@mail.gmail.com> Subject: PING [discuss] [x86-64 psABI] RFC: Extend x86-64 psABI to support x32 From: "H.J. Lu" <[email protected]> To: Michael Matz <[email protected]> Cc: "H. Peter Anvin" <[email protected]>, [email protected], GNU C Library <[email protected]>, GCC Development <[email protected]>, GDB <[email protected]>, [email protected], Binutils <[email protected]> Content-Type: text/plain; charset=ISO-8859-1 On Thu, May 17, 2012 at 12:50 PM, H.J. Lu <[email protected]> wrote: > On Tue, May 15, 2012 at 9:07 AM, Michael Matz <[email protected]> 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.
