From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pALI1seJ007390
	for <caml-list@sympa-roc.inria.fr>; Mon, 21 Nov 2011 19:01:55 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhECAJCRyk7RVdY2kGdsb2JhbAApGqkmgQ8IIgEBAQEJCQ0HFAQhggsCJgYBAThORgEFAVeHYwYjlysKijGEFgGOPAeHAoIyY6IVPYN0
X-IronPort-AV: E=Sophos;i="4.69,548,1315173600"; 
   d="scan'208";a="131920005"
Received: from mail-bw0-f54.google.com ([209.85.214.54])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Nov 2011 19:01:49 +0100
Received: by bkbzs8 with SMTP id zs8so11810978bkb.27
        for <caml-list@inria.fr>; Mon, 21 Nov 2011 10:01:49 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=from:content-type:content-transfer-encoding:subject:date:message-id
         :to:mime-version:x-mailer;
        bh=zQUkARPnOajeyQoED5fn7j4bOOT12VFY7DqSbXlt/9k=;
        b=TRdUcrBTsjuBYXgiieM41NSs4hif7rGWAg76KZPMUbnI2yDlq5Ua8lnkfCP6FSJbbH
         bXWKHSPPUcWXKzb5ngISusd1FUX9hUoDVmMLsxN9dioyf9JOUwJachuY7IyKQz9xHNBc
         6mrWC31dI+Hozp1Dk7TRLteG5BFgWXDpASriQ=
Received: by 10.204.148.67 with SMTP id o3mr15702278bkv.130.1321898509007;
        Mon, 21 Nov 2011 10:01:49 -0800 (PST)
Received: from coruscant.kosmos.all (ip-95-223-170-32.unitymediagroup.de. [95.223.170.32])
        by mx.google.com with ESMTPS id k26sm16213376fab.8.2011.11.21.10.01.46
        (version=SSLv3 cipher=OTHER);
        Mon, 21 Nov 2011 10:01:47 -0800 (PST)
From: Benedikt Meurer <benedikt.meurer@googlemail.com>
Content-Type: text/plain; charset=us-ascii
Date: Mon, 21 Nov 2011 19:01:45 +0100
Message-Id: <316D923D-4E2E-4F37-93F6-716D4CB3D310@googlemail.com>
To: caml-list@inria.fr
Mime-Version: 1.0 (Apple Message framework v1251.1)
X-Mailer: Apple Mail (2.1251.1)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pALI1seJ007390
Subject: [Caml-list] ARM PIC/natdynlink support for ocamlopt

Hello,

I did some initial work to let ocamlopt emit position-independent code on ARM, which enables support for natdynlink on ARM. The patch and additional information is available at

http://caml.inria.fr/mantis/view.php?id=5404

with even more information at 

http://caml.inria.fr/mantis/view.php?id=5049

So far I've tested the patch with QEMU and a NanosG20 ARM Board, and the patch seems to work and doesn't seem to cause noticeable performance hits. However, it would be useful to get some more testing and feedback.

The latest version is always available from the natdynlink-arm branch of my ocaml-experimental repository at

https://github.com/bmeurer/ocaml-experimental/tree/natdynlink-arm

greets,
Benedikt