From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <steph@glondu.net>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 69B2C7EE7A
	for <caml-list@sympa.inria.fr>; Tue, 26 Mar 2013 08:39:47 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  steph@glondu.net) identity=pra; client-ip=138.231.136.39;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="steph@glondu.net";
  x-sender="steph@glondu.net"; x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  steph@glondu.net) identity=mailfrom;
  client-ip=138.231.136.39;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="steph@glondu.net";
  x-sender="steph@glondu.net"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@redisdead.crans.org designates 138.231.136.39 as
  permitted sender) identity=helo; client-ip=138.231.136.39;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="steph@glondu.net";
  x-sender="postmaster@redisdead.crans.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AigBAG1PUVGK54gnmWdsb2JhbABDhle9MYEFFg4BAQEBAQgLCwcUKIIgAQEEAQIgVQEQCxIIAgUWCwICCQMCAQIBFiEOBg0BBwKIEAQIrxSCQJAHgSONdQeCLYETA5Qpgj6BH4RfjhE
X-IPAS-Result: AigBAG1PUVGK54gnmWdsb2JhbABDhle9MYEFFg4BAQEBAQgLCwcUKIIgAQEEAQIgVQEQCxIIAgUWCwICCQMCAQIBFiEOBg0BBwKIEAQIrxSCQJAHgSONdQeCLYETA5Qpgj6BH4RfjhE
X-IronPort-AV: E=Sophos;i="4.84,910,1355094000"; 
   d="scan'208";a="7835419"
Received: from redisdead.crans.org ([138.231.136.39])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 26 Mar 2013 08:39:46 +0100
Received: from [10.125.1.2] (fbx.up7.fr [81.56.96.177])
	(using TLSv1 with cipher AES256-SHA (256/256 bits))
	(No client certificate requested)
	by redisdead.crans.org (Postfix) with ESMTPSA id 8583E2176;
	Tue, 26 Mar 2013 08:39:45 +0100 (CET)
Message-ID: <515150C0.8050404@glondu.net>
Date: Tue, 26 Mar 2013 08:39:44 +0100
From: =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdQ==?= <steph@glondu.net>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130315 Icedove/17.0.4
MIME-Version: 1.0
To: Wojciech Meyer <wojciech.meyer@gmail.com>
CC: Benedikt Meurer <benedikt.meurer@googlemail.com>, 
 Xavier Leroy <Xavier.Leroy@inria.fr>,
 caml-list@inria.fr
References: <20130323232545.GB30390@annexia.org> <514ED893.5040509@inria.fr> <5372E1BA-6412-40F4-9AF7-412249E422A6@gmail.com> <CAOg1smBPEGVRBTFN9eLg_FCDfR=Y2nSPKDjqRZPQ8O=CQKC44Q@mail.gmail.com>
In-Reply-To: <CAOg1smBPEGVRBTFN9eLg_FCDfR=Y2nSPKDjqRZPQ8O=CQKC44Q@mail.gmail.com>
X-Enigmail-Version: 1.6a1pre
OpenPGP: id=49881AD3
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Caml-list] AArch64 (64 bit ARM) support?

Le 25/03/2013 23:09, Wojciech Meyer a =C3=A9crit :
> I might actually just ask ARM if they have anything for you to help
> with the Aarch64 backend.
> Will keep you up to date.

Debian and Ubuntu have been ported to this new architecture:

  http://lists.debian.org/debian-arm/2013/02/msg00054.html

Note: this guy is affiliated with ARM.


Cheers,

--=20
St=C3=A9phane