From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 1E98D8239C for ; Sun, 25 Feb 2018 17:14:32 +0100 (CET) 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 Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rich@annexia.org) identity=pra; client-ip=80.68.91.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of rich@annexia.org designates 80.68.91.176 as permitted sender) identity=mailfrom; client-ip=80.68.91.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@annexia.org designates 80.68.91.176 as permitted sender) identity=helo; client-ip=80.68.91.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="postmaster@annexia.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3ATYD9IBMwO01YMHifEWYl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0LfX/rarrMEGX3/hxlliBBdydt6ofzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlGiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?kJNzA37nzZhM9/g61HvR2uqQdyw5LIbIyPKPZyYrnQcc0cSGFcXshRTStBAoak?= =?us-ascii?q?YocBE+QBPPpXr4nnqFsUsBS1GAmjCPnoxDNSm3T42ao60+I/HgHd0gArAtUDsG?= =?us-ascii?q?7VrNrpNKcfSvq6zK/OzTrdYPJW2C3y5JLPchA7rvGBRLR9etffx0koEgPKlFSQ?= =?us-ascii?q?qYr9MjOa1+QNr2ib7/d7Wu61l2EnrARxriChxsgyl4bJgZgVxUrc9Spnx4Y1Pd?= =?us-ascii?q?m4R1Bhbd6jCptQuCeXPJZ1TMM6W2xluzo2xqcHtJO4ZiQHzIkrywTCZ/GFcoWF?= =?us-ascii?q?5A/oWvyLLjdinn1lfaqyhxas/kikze3xTtO70FBMriVbndjMt2oC2wbU6sidRf?= =?us-ascii?q?tx5kah2TCR2ADP8uxJIlw4mbDaJpMi2LI9kocfvV7eEiL0mUj6lKqWeV8l+uis?= =?us-ascii?q?5eTneLLmppqEOo9uiwHxLqQul9elDuQ+NAgBQWea+eWm27H5+k35WrpKguUskq?= =?us-ascii?q?bFqJDaOdgbpqmhDgBJyIkj7hK/Ay6i0NQZhnkHMElIeAmHjojsI1HBOur0Dfa5?= =?us-ascii?q?g1S2kTdk3erKPrP7AsaFEn+Wm77kefN56lVA4As119FWoZxOTvknIfn0Xsbqg/?= =?us-ascii?q?vaAxMwBCY42a6zDtR20YcXQiSIAKKVOeXYuEWg4u8/IueNIoQSvWCuBeIi4quk?= =?us-ascii?q?t34ymVYHceGWm75RIFK/GPl9aQ3Ne3vngv8IF2EHrgs3CuvwhwvRAnZoe3+uUv?= =?us-ascii?q?dktXkAA4W8ANKbH9H/sPm6xC6+W6ZuSCVDA1GIH23vctzfCf4Kbi+CI8YnlSYL?= =?us-ascii?q?B+H4F90RkCq2vQq/8IJJa/LO83RD55vl0tVl5uSVkgs9p2QtUpatllqVRmQxpV?= =?us-ascii?q?smAj872Kcm+h50zFGOwalxxftCGo4K6g=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BvCgAp4JJa/7BbRFBcHgEeDYM2ZnCcG?= =?us-ascii?q?UIBAQEBAQEGgkqLT4xMCiOHShoGBDMVAQIBAQEBAQEBAQFqKII4IoMKexMhLSE?= =?us-ascii?q?BhRURDK1chHSDboJBBYdCgQ8+gW8BhlsCh2MFoWEJAoF8hTuHO4UfgjWELIwMj?= =?us-ascii?q?FGJJIEvNCKBUX0Igm0BEIRZQI0nAQEB?= X-IPAS-Result: =?us-ascii?q?A0BvCgAp4JJa/7BbRFBcHgEeDYM2ZnCcGUIBAQEBAQEGgkq?= =?us-ascii?q?LT4xMCiOHShoGBDMVAQIBAQEBAQEBAQFqKII4IoMKexMhLSEBhRURDK1chHSDb?= =?us-ascii?q?oJBBYdCgQ8+gW8BhlsCh2MFoWEJAoF8hTuHO4UfgjWELIwMjFGJJIEvNCKBUX0?= =?us-ascii?q?Igm0BEIRZQI0nAQEB?= X-IronPort-AV: E=Sophos;i="5.47,393,1515452400"; d="scan'208";a="256038590" Received: from annexia.org ([80.68.91.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 25 Feb 2018 17:14:31 +0100 Received: from rich by annexia.org with local (Exim 4.89) (envelope-from ) id 1epywY-0004S1-5L; Sun, 25 Feb 2018 16:14:30 +0000 Date: Sun, 25 Feb 2018 16:14:30 +0000 From: "Richard W.M. Jones" To: caml-list@inria.fr, =?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= Message-ID: <20180225161430.zkfpkihg7jyxs5cg@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] Status of the OCaml RISC-V port Fedora has been maintaining an out of tree RISC-V patch in our OCaml package for about 18 months, from: https://github.com/nojb/riscv-ocaml/commits/trunk This has proven to be fairly stable, and I'm wondering when / under what conditions it can go upstream? RISC-V finally settled on a stable libc ABI (contributed to glibc 2.27) which has allowed us to start porting Fedora to RISC-V for real. You can grab bootable disk images from: https://fedorapeople.org/groups/risc-v/disk-images/ and inside run 'dnf install ocaml' which will currently install OCaml 4.06.0 with native RISC-V support. There is also sshd, systemd, gcc, etc., albeit lacking emacs :-( At the moment you can run these on an out of tree qemu patch: https://github.com/riscv/riscv-qemu/tree/qemu-upstream-v6 which supports multiple virtual CPUs and (if you have fast enough hardware) is fairly reasonable for development. 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. Rich.