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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 5EF308239C for ; Sun, 25 Feb 2018 22:44:57 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sp@orbitalfox.eu; spf=None smtp.mailfrom=sp@orbitalfox.eu; spf=None smtp.helo=postmaster@orbitalfox.eu Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.eu) identity=pra; client-ip=95.172.232.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sp@orbitalfox.eu"; x-sender="sp@orbitalfox.eu"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.eu) identity=mailfrom; client-ip=95.172.232.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sp@orbitalfox.eu"; x-sender="sp@orbitalfox.eu"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@orbitalfox.eu) identity=helo; client-ip=95.172.232.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sp@orbitalfox.eu"; x-sender="postmaster@orbitalfox.eu"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A2HwhyhdG89tHpk4qRX3x2ctdlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS/Zh7h7PlgxGXEQZ/co6odzbaO6Oa4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahb75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v9LlgRgP2hy?= =?us-ascii?q?gbNj456GDXhdJ2jKJHuxKquhhzz5fJbI2JKPZye6XQds4YS2VcRMZcTyJPDYGy?= =?us-ascii?q?b4QAE+UPMvtWoZf9qVUNtha+GRCsBObzxjNUmnP736s32PkhHwHc2wwgGsoDvm?= =?us-ascii?q?nOot7oM6oSSvi1wbLPzTXZdPxW2Cv955LMchAvpvGNUqh8ftTMyUQ2EQ7Ok1ae?= =?us-ascii?q?qZT9Mj6R1ukBqXWX4uh+We61lWIqpR99riKxysswlIXFnp8Zx1PE+Cljw4s5OM?= =?us-ascii?q?e0RFN1bNOnCpdcqT+WOo1rSc04WW5oojw1yrgetJ67YicKzJMnygbYa/ydaIeI?= =?us-ascii?q?4w7jW/yVITd2g3Jkd6iziAiv8US4y+38UNe70EpSoydBktTArG0B2h7N5sSdVP?= =?us-ascii?q?dw8Fmt1SyR2wzP9O1IOUU0mrDaK54lzL4wjJ0TsUHbEy/tgEX7l6iWdl8/9eip?= =?us-ascii?q?9+ToeLHmppGbN457kA3xLLkultSlAeskKggOQ3Sb+eOk2bL/50L5RbFKguQykq?= =?us-ascii?q?nYq5DaOd8WprW5Ag9QyoYs8QyzDzag0NQCnHkINkhJeBydj9uhB1abDPnmDPv3?= =?us-ascii?q?qlCoizBz37iSMqfoR5PAMWPrlbr9dK1h4kVfjgE0yIYbrahVAbEIOv67ZQnU8p?= =?us-ascii?q?T6CRk0KEb8l/zmA9VV34UYVHKOC+meKqyE9RWD7+crZu2Nf5M9uTDnKvFj6eSk?= =?us-ascii?q?xSsykFoZOK2oxoc/aXaiH/0gLV/PJVztidAFmHw9mQgzQOXdotGYGWpVZn21W6?= =?us-ascii?q?snoDY5BY6vS43KXKipjayA0ib9FZpTMDNoEFeJREzQP9GfQ98LciiTPsZlnDsU?= =?us-ascii?q?E7W8HdxynSqyvRP3nuI0ZtHf/TcV4Ne6jIAstr/j0Coq/DkxNPyzlmSETmV6hG?= =?us-ascii?q?QNHmJk27p1oFB0zlmEwe51nq4ATIAB17ZySg4/cKXk4aliEdmrB1DGZN2IVF+i?= =?us-ascii?q?TNK2RzwsHIpono0+Jn1lEtDntSjtmiqnB7hMyu6MHpY17qvY0X/hYctgmS7L?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DBBADrLZNa/8rorF9cHQEBBQELAYUlK?= =?us-ascii?q?INUiiJ0jwoOgQiWBYIWhT0CDIJFBgUwGAECAQEBAQEBAQEBaiiCOCQBgkYBAQE?= =?us-ascii?q?EI2YLDgoCAiYCAlcGARIUBoR6q1GCJ4R0g2+CFAEBAQEGAQEBAQEBAQEggQ+Jb?= =?us-ascii?q?wEpgUmBO4guMYI0BaFTDgmWEgGJOIc1lyQeOIFRcxI6KgGCGIRad4xsAQEB?= X-IPAS-Result: =?us-ascii?q?A0DBBADrLZNa/8rorF9cHQEBBQELAYUlKINUiiJ0jwoOgQi?= =?us-ascii?q?WBYIWhT0CDIJFBgUwGAECAQEBAQEBAQEBaiiCOCQBgkYBAQEEI2YLDgoCAiYCA?= =?us-ascii?q?lcGARIUBoR6q1GCJ4R0g2+CFAEBAQEGAQEBAQEBAQEggQ+JbwEpgUmBO4guMYI?= =?us-ascii?q?0BaFTDgmWEgGJOIc1lyQeOIFRcxI6KgGCGIRad4xsAQEB?= X-IronPort-AV: E=Sophos;i="5.47,394,1515452400"; d="scan'208";a="256052890" Received: from orbitalfox.com (HELO orbitalfox.eu) ([95.172.232.202]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Feb 2018 22:44:56 +0100 Received: from [10.152.238.180] (unknown [185.81.138.22]) by orbitalfox.eu (Postfix) with ESMTPSA id D9589AA00FA; Sun, 25 Feb 2018 21:44:54 +0000 (UTC) Date: Sun, 25 Feb 2018 21:35:25 +0000 In-Reply-To: References: <20180225161430.zkfpkihg7jyxs5cg@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable To: David Allsopp ,"Richard W.M. Jones" ,"caml-list@inria.fr" ,=?ISO-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= From: SP Message-ID: <3516931D-FCEF-4DDB-9FF7-11D3345B6D6C@orbitalfox.eu> Subject: RE: [Caml-list] Status of the OCaml RISC-V port On 25 February 2018 19:29:45 GMT+00:00, David Allsopp wrote: >will hopefully start the process of upstreaming the RISC-V patches. Will you be looking for help from the wider community for this? --=20 SP