From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 5E6F38239C for ; Sun, 25 Feb 2018 23:35:49 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nicolas.ojeda.bar@lexifi.com; spf=SoftFail smtp.mailfrom=nicolas.ojeda.bar@lexifi.com; spf=None smtp.helo=postmaster@vrout10.yaziba.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of nicolas.ojeda.bar@lexifi.com) identity=pra; client-ip=185.56.204.32; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="nicolas.ojeda.bar@lexifi.com"; x-conformance=sidf_compatible Received-SPF: SoftFail (mail2-smtp-roc.national.inria.fr: domain of nicolas.ojeda.bar@lexifi.com is inclined to not designate 185.56.204.32 as permitted sender) identity=mailfrom; client-ip=185.56.204.32; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="nicolas.ojeda.bar@lexifi.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@vrout10.yaziba.net) identity=helo; client-ip=185.56.204.32; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="postmaster@vrout10.yaziba.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AQhsExh2fbdzpHmTjsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIRL/ad9pjvdHbS+e9qxAeQG9mDsLQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPbQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okC?= =?us-ascii?q?YHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYP+d8cKzAZ9MXXWhOXshRWSJPAY2y?= =?us-ascii?q?cpUBAPYaMOlCs4XwvUEDoQeiCQSuAu7k1z9GhmXx3a0/y+kvCQDG0xAnH9IKsn?= =?us-ascii?q?PUt836Or4QUe+r0abH1y3MYu5T3jfn9YPFdRYhofCQUrJ3dcre01IvGxnCjlWS?= =?us-ascii?q?t4PqIima2v4WvGeB9eptTuavhHAoqgFwrDivx90ghZXOhoIQ013J8zhyzogyJd?= =?us-ascii?q?29UkF7YNikHYNftyGbK4t2Qt4iTHpytCkmzb0GvJi2dzUJxpQ/3xPTdv+KfoiS?= =?us-ascii?q?7h/jVeudOyl0iG5qdb6liRu+71CsxvPgWsSwylpHrSpInsPSunwQ1BHf8MeKR/?= =?us-ascii?q?t780y8wziAzRrT5ftBIU0slarUNZohwrkom5oNq0TDGTL2mFnrgKOKbEkl+vKn?= =?us-ascii?q?6uXmYrr9vJCQLYl0hR/iMqg2m8y/B/o3MhQWUmSG+umx1Kfv8E34TblQkPE6jq?= =?us-ascii?q?bUvIrUKMgFvqK5BhVa0ocn6xaxFTem19EYkGEBLFJEZB2HiIzpNEvVIPziCve/?= =?us-ascii?q?gUqjnypxyPzcJbLuGI/NI2PHkLj/crd96kBcyAspwd9D4JJUD6kNIOjvVU/pqN?= =?us-ascii?q?zYEhg5PhSozOn9DdV90poSWWaOAq+CLKPfqkSI5+IqI+mUfoAZojf9K/4/5/7v?= =?us-ascii?q?l3A1g1EdfbOx0ZsSb3C3A+ppLl2CYXrpntcBCWAKvhciTL+itFrXagYbM22qd6?= =?us-ascii?q?Um7DAnAYaoCpeFS53705Kb2yLuOJxdYWTPEWerE3rkfrKu1+1EPCSTKchlmydC?= =?us-ascii?q?UrqsR4Zn3xi0nAv327tpL6zf/ShO5sGr78R8++CGzUJ6zjdzFcnIljjVFzglzF?= =?us-ascii?q?NNfCc/2eVEmWI4z16C1aZihPkBT45X6uNIXAZ8PpnZnbcjV4LCHznZd9LMc26I?= =?us-ascii?q?B828CGhrHNY8094AYgB2HNDw1kmejRrvOKcckvmwPLJx8q/Y2CKpddhnzGvajf?= =?us-ascii?q?FnnlA0Q8FGc2urmvwn+g=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AIAQCkOZNahyDMOLlcGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYQ1cCgKg0qBNohsjXyCAhOBA5A2hU+CFgofhRQCgjEHGQsFKxgBAgE?= =?us-ascii?q?BAQEBAQEBARIBAQEKCwkIKC9CDgGBZyQBgkcBBSNWEAsEAQYNKgICIhIBBQEcB?= =?us-ascii?q?hMIDAaEdgQBC55wQIwUgieIPSaCFAEBAQEBBQEBAQEBHgWHQoM8AYMtgy4ChH6?= =?us-ascii?q?CZQWKMZcwCYc5jGeDcY5vjFGJEBQFIIEIAh6CCXBPMQaCDIJTggh2iQCDbAEBA?= =?us-ascii?q?Q?= X-IPAS-Result: =?us-ascii?q?A0AIAQCkOZNahyDMOLlcGgEBAQEBAgEBAQEIAQEBAYQ1cCg?= =?us-ascii?q?Kg0qBNohsjXyCAhOBA5A2hU+CFgofhRQCgjEHGQsFKxgBAgEBAQEBAQEBARIBA?= =?us-ascii?q?QEKCwkIKC9CDgGBZyQBgkcBBSNWEAsEAQYNKgICIhIBBQEcBhMIDAaEdgQBC55?= =?us-ascii?q?wQIwUgieIPSaCFAEBAQEBBQEBAQEBHgWHQoM8AYMtgy4ChH6CZQWKMZcwCYc5j?= =?us-ascii?q?GeDcY5vjFGJEBQFIIEIAh6CCXBPMQaCDIJTggh2iQCDbAEBAQ?= X-IronPort-AV: E=Sophos;i="5.47,394,1515452400"; d="scan'208,217";a="315222071" Received: from vrout10.yaziba.net ([185.56.204.32]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Feb 2018 23:35:48 +0100 Received: from mtaout10.int.yaziba.net (mtaout10.int.yaziba.net [10.4.20.36]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by vrout10.yaziba.net (mx10.yaziba.net) with ESMTPS id 7D74351F08 for ; Sun, 25 Feb 2018 23:35:47 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mtaout10.int.yaziba.net (Postfix) with ESMTP id 9ECDF160100 for ; Sun, 25 Feb 2018 23:35:47 +0100 (CET) X-Virus-Scanned: amavisd-new at Received: from mtaout10.int.yaziba.net ([127.0.0.1]) by localhost (mtaout10.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id YRPwcSlnHSfe for ; Sun, 25 Feb 2018 23:35:47 +0100 (CET) Received: from mail-oi0-f45.google.com (mail-oi0-f45.google.com [209.85.218.45]) by mtaout10.int.yaziba.net (Postfix) with ESMTPSA id 504D71600F7 for ; Sun, 25 Feb 2018 23:35:47 +0100 (CET) Received: by mail-oi0-f45.google.com with SMTP id j79so9350973oib.12 for ; Sun, 25 Feb 2018 14:35:47 -0800 (PST) X-Gm-Message-State: APf1xPC36kkRtolh/yq2J5RnMVW0E2zUhzxWFh/lkUnJb0YY3vB6UCOi mIti9/ptDxj/MZsi12O4Q3RSF2r3w5CndR3xuAo= X-Google-Smtp-Source: AH8x2260q6WHzleZBEpmTqm+H235EEv3dcteLq3s1OvGF7EmrK4x4GDLfVmkAlk0/KVKOLqcGnV2+OuAV9brtQ/fgoA= X-Received: by 10.202.23.22 with SMTP id j22mr4765323oii.190.1519598146058; Sun, 25 Feb 2018 14:35:46 -0800 (PST) MIME-Version: 1.0 Received: by 10.74.139.125 with HTTP; Sun, 25 Feb 2018 14:35:25 -0800 (PST) In-Reply-To: <3516931D-FCEF-4DDB-9FF7-11D3345B6D6C@orbitalfox.eu> References: <20180225161430.zkfpkihg7jyxs5cg@annexia.org> <3516931D-FCEF-4DDB-9FF7-11D3345B6D6C@orbitalfox.eu> From: =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= Date: Sun, 25 Feb 2018 23:35:25 +0100 X-Gmail-Original-Message-ID: Message-ID: To: SP Cc: David Allsopp , "Richard W.M. Jones" , "caml-list@inria.fr" Content-Type: multipart/alternative; boundary="f4f5e808f74cb27d6805661103c5" X-DRWEB-SCAN: ok X-VRSPAM-SCORE: -100 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrgedtfedrheelgdduiedtucetufdoteggodetrfcurfhrohhfihhlvgemucggtfgfnhhsuhgsshgtrhhisggvnecuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfjughrpegjfhfhfffkuffvtgesrgdtreertddtjeenucfhrhhomheppfhitgholhojshgpqfhjvggurggpueomrhcuoehnihgtohhlrghsrdhojhgvuggrrdgsrghrsehlvgigihhfihdrtghomheqnecuffhomhgrihhnpehgihhthhhusgdrtghomhenucfkphepvddtledrkeehrddvudekrdegheenucfrrghrrghmpehmohguvgepshhmthhpohhuth X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: Re: [Caml-list] Status of the OCaml RISC-V port --f4f5e808f74cb27d6805661103c5 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hello, As a general rule, help from the community is always welcome :) When the time comes, the patch will be submitted as a github PR and everyone is warmly invited to take part in that discussion. And of course, PRs are also welcome anytime at https://github.com/nojb/riscv-ocaml ! Best wishes, Nicol=C3=A1s On Sun, Feb 25, 2018 at 10:35 PM, SP wrote: > > > On 25 February 2018 19:29:45 GMT+00:00, David Allsopp < > dra-news@metastack.com> wrote: > >will hopefully start the process of upstreaming the RISC-V patches. > > Will you be looking for help from the wider community for this? > > -- > SP > --f4f5e808f74cb27d6805661103c5 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello,

As a general rule, help from the= community is always welcome :)

When the time come= s, the patch will be submitted as a github PR and everyone is warmly invite= d to take part in that discussion.

And of course, = PRs are also welcome anytime at https://github.com/nojb/riscv-ocaml !

Bes= t wishes,
Nicol=C3=A1s


On Sun, Feb 25, 2018 at 10:35 PM, S= P <sp@orbitalfox.eu> wrote:


On 25 February 2018 19:29:45 GMT+00:00, David Allsopp <dra-news@metastack.com> wrote:
>will hopefully start the process of upstreaming the RISC-V patches.

Will you be looking for help from the wider community for this?

--
=C2=A0 =C2=A0 SP

--f4f5e808f74cb27d6805661103c5--