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 3ABBB8239C for ; Sun, 25 Feb 2018 20:29:48 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dra-news@metastack.com; spf=Pass smtp.mailfrom=dra-news@metastack.com; spf=None smtp.helo=postmaster@outmail148109.authsmtp.co.uk Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dra-news@metastack.com) identity=pra; client-ip=62.13.148.109; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of dra-news@metastack.com designates 62.13.148.109 as permitted sender) identity=mailfrom; client-ip=62.13.148.109; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@outmail148109.authsmtp.co.uk) identity=helo; client-ip=62.13.148.109; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail148109.authsmtp.co.uk"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AEtttihDtCw4oYDsmx72BUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPXyocbcNUDSrc9gkEXOFd2Cra4c0KyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUijexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4bt1RxD0iS?= =?us-ascii?q?cHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzdb7fc9wHX2pMRsZfWTJcDIOg?= =?us-ascii?q?YYUBDOQBMuRZr4bhqFUBohy+CBKwBOP21jNEmmP60bEn3+knDArI3BYgH9ULsH?= =?us-ascii?q?nMotv6LrkSUeGow6LV0TjDa/dW2Sz66IjQahAqvPaBUq9qccXL0EUvER3Kj1uL?= =?us-ascii?q?qYH+OjOayPgNvHKA7+p8T+2gl20npxttrTiow8chk4/EjZ8bxFDD8CV22oc1Jd?= =?us-ascii?q?ugRU50YN6kDJtQtzyBOIdsXswiRGRotSAnwbMFoZ62ZCkHxIo9yxLCZfGLaZWE?= =?us-ascii?q?7x3gWeqLPDt0mHZodKqiixuw70Ss0PDwW8iu3FpWtCZInNbBumgD1xPN6cWLVv?= =?us-ascii?q?5w80Kh1DuA1Q3c9uRJLE4omqfUNZIsx6A/mocOvkvZGyL5hlj5g7WIekgi5+Om?= =?us-ascii?q?8f7oYq/8qZ+ZL4J0ih/xMqApmsGnBuQ4LxQOX22B9uS90L3v4EL0TbZXgvEqlq?= =?us-ascii?q?TVqorVJdkHpq65GA9V15oj6w6lAzi619QUh2QHLFFddBKGiYjmJU3OLej5APuh?= =?us-ascii?q?mVigjTlmy+rbMrDuAZjBNGXPnKvlcLpl7k5T0gszzdRR55JODbEBJer+VVLrtN?= =?us-ascii?q?PCFxM5NRK7wuj8CNhm04MRR36PDbWCMKPOq1CH+uEvL/OQa48SvTbxM+Il6OL2?= =?us-ascii?q?jX8lhV8derGk0ocNZ3C9GvRqOkGZYXv3gtcdCmoKpQo/TOnyiFKYSzJTZnCyX7?= =?us-ascii?q?g95j4hEo6mA53DFciRh+nL5iawHpRMaih5THXKWVXvcYifEb9YciOZIudolDoJ?= =?us-ascii?q?RbmoDYg72kfq/EXxwr9ja+7V4TEwtJT51dEz6feZ3UU5/DlwSsCcyH2lTmdun2?= =?us-ascii?q?pOSSVgmOhZoEd6zt6Y5o96jvBRIvbf/bsdVAYxMprV1Kp9Cd3+U0TLd82hTFu2?= =?us-ascii?q?Q9unRzo2S4Ri7cUJZhNREsujgljq2y6xBKcN3+iHHpVx9K/DxFD0Ktp00GrP36?= =?us-ascii?q?pnhF4jFJgcfVa6j7JyolCAT7XClF+UwuPzLfxFjXz9sVybxG/Lh3l2FQt5UKHL?= =?us-ascii?q?R3caPxaEqNnl71jeRrStT78gN1kYkJLQGu5xctTsyG5+arL7It2HPjC0lnu5Hg?= =?us-ascii?q?qBzbDKZ43vKT1EgXftTXMcmgVWxk6ocAgzAiD6+zDZESBrHFPrOh+8qLEv7nqm?= =?us-ascii?q?Uk8vyh2SKUZmkae2qEYY?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DnAAAqDpNamG2UDT5cHAEBAQQBAQoBA?= =?us-ascii?q?YJ8gTlwMo1sdI0HSAaBNIEWlgWCFgojhRACgjgZBwQwGAECAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQEBBg0LBigvgjgkAYJGAQEBAwF+CwIBCBguMiUCBAEahHsFCQMBC61ZiGKCF?= =?us-ascii?q?AEBAQcBAQEBAQEBARsFhRuCJ4EPgi0BgXeBNoMuAoFzgzyCNAWReI9pCYc5hzu?= =?us-ascii?q?FLA6CGpA4jFGIdwIECwIagS8eggkzGiNPgkSCUoIHjFCBFwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DnAAAqDpNamG2UDT5cHAEBAQQBAQoBAYJ8gTlwMo1sdI0?= =?us-ascii?q?HSAaBNIEWlgWCFgojhRACgjgZBwQwGAECAQEBAQEBAQEBEgEBAQEBBg0LBigvg?= =?us-ascii?q?jgkAYJGAQEBAwF+CwIBCBguMiUCBAEahHsFCQMBC61ZiGKCFAEBAQcBAQEBAQE?= =?us-ascii?q?BARsFhRuCJ4EPgi0BgXeBNoMuAoFzgzyCNAWReI9pCYc5hzuFLA6CGpA4jFGId?= =?us-ascii?q?wIECwIagS8eggkzGiNPgkSCUoIHjFCBFwEBAQ?= X-IronPort-AV: E=Sophos;i="5.47,394,1515452400"; d="scan'208";a="256047952" Received: from outmail148109.authsmtp.co.uk ([62.13.148.109]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 Feb 2018 20:29:47 +0100 Received: from mail-c247.authsmtp.com (mail-c247.authsmtp.com [62.13.128.247]) by punt21.authsmtp.com. (8.15.2/8.15.2) with ESMTP id w1PJTjmt096999; Sun, 25 Feb 2018 19:29:45 GMT (envelope-from dra-news@metastack.com) Received: from romulus.metastack.com (114.212-105-213.static.virginmediabusiness.co.uk [213.105.212.114]) (authenticated bits=0) by mail.authsmtp.com (8.15.2/8.15.2) with ESMTPSA id w1PJThb0018497 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Sun, 25 Feb 2018 19:29:44 GMT (envelope-from dra-news@metastack.com) Received: from remus.metastack.local (remus.metastack.com [172.16.0.1]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id w1PJTgBC020075; Sun, 25 Feb 2018 19:29:42 GMT Received: from Remus.metastack.local ([fe80::547c:3c42:e1da:eda2]) by Remus.metastack.local ([fe80::547c:3c42:e1da:eda2%10]) with mapi id 14.03.0361.001; Sun, 25 Feb 2018 19:29:45 +0000 From: David Allsopp To: "Richard W.M. Jones" , "caml-list@inria.fr" , =?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= Thread-Topic: [Caml-list] Status of the OCaml RISC-V port Thread-Index: AQHTrlPDlrLeBEmXsEybPUH6JEUxLaO1f8ZQ Date: Sun, 25 Feb 2018 19:29:45 +0000 Message-ID: References: <20180225161430.zkfpkihg7jyxs5cg@annexia.org> In-Reply-To: <20180225161430.zkfpkihg7jyxs5cg@annexia.org> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [172.16.0.34] Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: 3be618cf-1a62-11e8-8106-0015176ca198 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgESJgdBAn9U UXkJW1VcQFx4U2F8 YQ5VIwdcYVRPXwB0 UklLXFNTEBpqBAMA SFkfMmMWL1dGeH94 YU9lEHdaXEM0dhQo RE9cRjsbZDZman0e URVQagtVcAVXfh9E b1F4UiBcYGwPKBgV TUcAFDk0OXBbKT9J d0k2MVsOXF1DGTB0 WxAPVRIEFEgBDx8S FDdjFBYEG1wNWgAA X-Authentic-SMTP: 61633634383431.1038:706 X-AuthFastPath: 0 (Was 255) X-AuthSMTP-Origin: 213.105.212.114/25 X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: RE: [Caml-list] Status of the OCaml RISC-V port Richard W.M. Jones wrote: > Fedora has been maintaining an out of tree RISC-V patch in our OCaml > package for about 18 months, from: >=20 > https://github.com/nojb/riscv-ocaml/commits/trunk >=20 > This has proven to be fairly stable, and I'm wondering when / under what > conditions it can go upstream? Primary concern has been access to real hardware (Xavier has reasonable iss= ues with maintaining via Qemu only), especially given that OCaml's cross-co= mpilation support is not strong (enough). > There are also development boards coming but it's likely you'll have to > wait til July for general availability and even then they will cost > $1000 and are not expected to have very good performance. I notice that > avsm has signed up for one. We do indeed have a development board coming to Cambridge, and this will ho= pefully start the process of upstreaming the RISC-V patches. Given timings,= it clearly won't be part of OCaml 4.07 though there is a possibility the i= nfrastructure could be in place to allow it to be in OCaml 4.08. David