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 sympa.inria.fr (Postfix) with ESMTPS id 199FB8239C for ; Sun, 25 Feb 2018 17:30:12 +0100 (CET) Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.eu) identity=pra; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.eu"; x-sender="sp@orbitalfox.eu"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.eu) identity=mailfrom; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.eu"; x-sender="sp@orbitalfox.eu"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@orbitalfox.eu) identity=helo; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.eu"; x-sender="postmaster@orbitalfox.eu"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AUPWl7hH9sffb9QhLFKKbDJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78pMiwAkXT6L1XgUPTWs2DsrQY07GQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDSwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnlC?= =?us-ascii?q?YHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6jAf90VWHBBU95fWSJBHI2y?= =?us-ascii?q?cogBD+QOMulEsobypVUBoACiBQWwHu7j1iNEi2Xo0aA8zu8vERvG3AslH98WrX?= =?us-ascii?q?ratsj+OaAJUeCt16TIyi/DYOhX2Tfh8ofIdh4hofaDXL5qb8XR1FAiGgXYhVue?= =?us-ascii?q?rozlOima1uULs2WD4OpgVP6vi246qw5quDSg2sAsiozPi4kIyV7E7T10zYI1KN?= =?us-ascii?q?GiVUJ2Y8CoHIFOuyyUKYd6WN0uT312tCs817YIo4S0fDIQx5Qi3xPfa+KIc4yP?= =?us-ascii?q?4h/7U+aROyx3hHN5eL2lgxay/0+gy+LmWsaqzVZGtitFkt/SuXARzxHe7siKRu?= =?us-ascii?q?Fg8kqjxzqDzR7f5+9aLUwui6bXN4AtzqY1lpUJsETDGiH2mF/xjK+Tbkgk4fCo?= =?us-ascii?q?5v/gYrX8vZCcNpN0hRv6MqQgncy+Dv40PRYTX2SD4+SzyKXj/VHlQLVNlvA5jr?= =?us-ascii?q?PWsJXeJcgCoq65AhRV0po45hakDzam1cwYkmMdIFJEfhKHlYnpNEvULPD2F/fs?= =?us-ascii?q?y2irxX1RxvvGN6ftSqqLCz6LsrDncK03oxpGyQEz5dlZ4Z9EC7hHJ+j8DBzfrt?= =?us-ascii?q?vdWyQBe1iv287gEt98yooaV2WfRKKEZvCB+WSU7/4idrHfLLQevyzwfr18v6a3?= =?us-ascii?q?3C0J3GQFdKzs5qM5LXWxH/BoOUKcOCe+hc0LEHsDugQ5XKrnlQ/aCGIBVzOJR6?= =?us-ascii?q?s5owoDJse+F46aG9KqmraAwC6/EJpGIG1bWAjVTCXYMr6cUvJJUxq8Z89sljtd?= =?us-ascii?q?COqmUYUgyRiqugjqjbd6fLLZ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BaBwDV45Ja/8rorF9cGwEBAQEDAQEBC?= =?us-ascii?q?QEBAYQ1cI8SjwkOgQiMWokrghYthRACDIJFBgUxFwECAQEBAQEBAQEBaiiCOCQ?= =?us-ascii?q?BgkcBBTgCPxALGAklD0gGhScMrWiIYoIUAQEBAQYBAQEBHwWKfgGBcoE7gy4Ch?= =?us-ascii?q?2MFoVMOCYc5jFqBf5BujFGKUyABNYFRcxI6gkSEWUCNJwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BaBwDV45Ja/8rorF9cGwEBAQEDAQEBCQEBAYQ1cI8Sjwk?= =?us-ascii?q?OgQiMWokrghYthRACDIJFBgUxFwECAQEBAQEBAQEBaiiCOCQBgkcBBTgCPxALG?= =?us-ascii?q?AklD0gGhScMrWiIYoIUAQEBAQYBAQEBHwWKfgGBcoE7gy4Ch2MFoVMOCYc5jFq?= =?us-ascii?q?Bf5BujFGKUyABNYFRcxI6gkSEWUCNJwEBAQ?= X-IronPort-AV: E=Sophos;i="5.47,393,1515452400"; d="scan'208";a="315204371" Received: from orbitalfox.com (HELO orbitalfox.eu) ([95.172.232.202]) by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Feb 2018 17:30:11 +0100 Received: from darkstar (unknown [192.168.88.3]) by orbitalfox.eu (Postfix) with ESMTPSA id EFA67AA0064; Sun, 25 Feb 2018 16:30:09 +0000 (UTC) Date: Sun, 25 Feb 2018 16:30:08 +0000 From: SP To: "Richard W.M. Jones" Cc: caml-list@inria.fr, =?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= Message-ID: <20180225163008.ptcnxyzvx6flkz3n@darkstar> References: <20180225161430.zkfpkihg7jyxs5cg@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Disposition: inline In-Reply-To: <20180225161430.zkfpkihg7jyxs5cg@annexia.org> User-Agent: NeoMutt/20171215 Subject: Re: [Caml-list] Status of the OCaml RISC-V port On Sun, Feb 25, 2018 at 04:14:30PM +0000, 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: > > https://github.com/nojb/riscv-ocaml/commits/trunk Is it possible to get with opam switch? >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've been looking at this from the periphery, for 1k is a tall bill just for messing around. What's the forecast for something more affordable and usable? -- SP