From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 5A6CB5D5 for ; Thu, 12 Apr 2018 10:54:58 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,441,1517871600"; d="scan'208";a="322520601" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Apr 2018 12:54:40 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 318BA82444; Thu, 12 Apr 2018 12:54:40 +0200 (CEST) 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 2C5F68240C for ; Thu, 12 Apr 2018 12:54:33 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rich@annexia.org; spf=Pass smtp.mailfrom=rich@annexia.org; spf=Pass smtp.helo=postmaster@annexia.org IronPort-PHdr: =?us-ascii?q?9a23=3Ag2J0OB9s9l9Grf9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?1uIcTK2v8tzYMVDF4r011RmVBd6ds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+55Pebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRhHohi?= =?us-ascii?q?kZKjA3827YhdBtg61Vux+huwBzzpTIbI2JLvdyYKXQds4aS2pbWcZRUjRMDo2g?= =?us-ascii?q?YYsOE+UBPfxXr5PgqFATrRSyHw6iCPnywTFMgX/227M10/8vHQrb2wEgBdMOv2?= =?us-ascii?q?jUrNjuLqgSV+a1w7fHzDXCdfxawzD96JLHch04p/yHQLx+cc3UyUY1FgPFiE2d?= =?us-ascii?q?qYv5MDyP0+QNt3KX7+16VeKgjWMstgJ/oiC3y8ovloXFnIMYx1Pe+Sh93Yo5P8?= =?us-ascii?q?C0RUx6bNOiDZBerTuVN5FsTcMnW2xouDg1yrkBuZOjZicKzpInyADQavyGaYeE?= =?us-ascii?q?+BXjVPyeITtghXJlfqywhwqq/EWj1uHwTMi53VVQoidBj9XArG0B2h7S58SfT/?= =?us-ascii?q?ty5Eah2TKB1wDJ7eFEJFg5lbDaK5E9wr49jYAcsULFHiDol0T2jbWZel8j+uiy?= =?us-ascii?q?5OTreq/mqYOEN49olgH+NbwjldClDuQ9NggCRmyb+eWn1L3/5kD5W7VLjvgukq?= =?us-ascii?q?bDqpzaJMIbprS4AwBPyIoj5Qy/XH+a14ETlHwDaVZEYw6vjo7zOliILuq8RdG+?= =?us-ascii?q?iFOoGSxc4PLLMrTWKBnXZizFkbzmeb9mrUlexQY6i9pW/bpQB6EALvO1UUj04o?= =?us-ascii?q?/2FBg8ZkaOwu3nAc9xnrxYfCTHIKifPbiY+QuS5+kvC+CKYoIFuT+7LOIqsa29?= =?us-ascii?q?xUQlkEMQKPH6laAcb2q1S6w/chepJEH0i9JEKl8k+w83TejkklqHCGUBbnC0Ur?= =?us-ascii?q?I973c8Eo30VN6fFLDou6SI2WKAJrMTfnpPUwveGHHuepWFUrELci3AepY8wAxB?= =?us-ascii?q?bqCoTsoa7T/rtAL+zOM8fOPS/CAItJul08J6tbTe?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DyBwDsOc9a/7BbRFBcg3NhbyiYdEUBA?= =?us-ascii?q?QEBAQEGghgakmOBewslhwcaBgEEMhYBAgEBAQEBAQEBAWscDII1IoMMexMhLSE?= =?us-ascii?q?BEoUAEQupYIRXg2qCKgWHfRF7PkmBDgGCVgeEeRKFagKXXQgCgTKEIohWjE+JI?= =?us-ascii?q?4ZvgSUjCSiBUn0IOoIzARASin2FPz4xAYxJgjYBAQ?= X-IPAS-Result: =?us-ascii?q?A0DyBwDsOc9a/7BbRFBcg3NhbyiYdEUBAQEBAQEGghgakmO?= =?us-ascii?q?BewslhwcaBgEEMhYBAgEBAQEBAQEBAWscDII1IoMMexMhLSEBEoUAEQupYIRXg?= =?us-ascii?q?2qCKgWHfRF7PkmBDgGCVgeEeRKFagKXXQgCgTKEIohWjE+JI4ZvgSUjCSiBUn0?= =?us-ascii?q?IOoIzARASin2FPz4xAYxJgjYBAQ?= X-IronPort-AV: E=Sophos;i="5.48,441,1517871600"; d="scan'208";a="261804341" Received: from annexia.org ([80.68.91.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 12 Apr 2018 12:54:32 +0200 Received: from rich by annexia.org with local (Exim 4.89) (envelope-from ) id 1f6Zs7-0001xz-44; Thu, 12 Apr 2018 11:54:31 +0100 Date: Thu, 12 Apr 2018 11:54:31 +0100 From: "Richard W.M. Jones" To: caml-list@inria.fr, =?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= Message-ID: <20180412105431.swzwa3jhaftn5fca@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: NeoMutt/20170113 (1.7.2) Subject: [Caml-list] Follow up to: Status of the OCaml RISC-V port (repost) Reply-To: "Richard W.M. Jones" X-Loop: caml-list@inria.fr X-Sequence: 16799 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: [Reposting without the attachment which was apparently too large for this list] Previously ... https://inbox.ocaml.org/caml-list/20180226142050.r5bautl4orekd3rf@annexia.org/T/ The Fedora project recently received the HiFive Unleashed U540 board, courtesy of SiFive Inc. I thought I'd follow up the thread with observations on how OCaml (with nojb's patch) works on the real hardware. >From a development point of view the board is a mixed bag. It's quite fast, but because it has no I/O ports except ethernet (no SATA for example) it requires an awkward installation where you have a second machine next to it acting as a file server and use NFS/NBD/iSCSI/etc root support. I built and tested OCaml from source on the board. There are some test failures which I need to investigate. (See also attachments.) I also rebuilt a selection of OCaml packages from Fedora on the board using Fedora's ocaml 4.06 (which has nojb's patch). These rebuilt fine so I guess the test failures don't affect real world jobs much. Hope this is interesting, Rich. -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs