From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id sHC5JcDVjGDLQQAAgWs5BA (envelope-from ) for ; Sat, 01 May 2021 06:14:56 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id qOJdIcDVjGAwfQAAB5/wlQ (envelope-from ) for ; Sat, 01 May 2021 04:14:56 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 2F000B792 for ; Sat, 1 May 2021 06:14:56 +0200 (CEST) Received: from localhost ([::1]:48898 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lch1r-0006QI-9R for larch@yhetil.org; Sat, 01 May 2021 00:14:55 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:37334) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lch1f-0006Ot-Ja for guix-devel@gnu.org; Sat, 01 May 2021 00:14:43 -0400 Received: from imta-38.everyone.net ([216.200.145.38]:58428) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lch1b-0001B4-OD for guix-devel@gnu.org; Sat, 01 May 2021 00:14:42 -0400 Received: from pps.filterd (omta003.sj2.proofpoint.com [127.0.0.1]) by imta-38.everyone.net (8.16.0.43/8.16.0.43) with SMTP id 1414CdIm025373; Fri, 30 Apr 2021 21:14:31 -0700 X-Eon-Originating-Account: m2h8q2bUIUCc1SgqyOz-zN7wS4q-St2Ybmlz0AhbG-c X-Eon-Dm: m0116293.ppops.net Received: by m0116293.mta.everyone.net (EON-AUTHRELAY2 - 5a81dc7f) id m0116293.60622039.357c76; Fri, 30 Apr 2021 21:14:29 -0700 X-Eon-Sig: AQMHrIJgjNWlU8F0fQIAAAAD,156b7648edd90b2d2a57f3d0a502b502 X-Eip: JhFfIhPbN12pz5MJwhRj5GR5Xtcyzm9rZ1vsBde9P5Q Date: Sat, 1 May 2021 06:14:14 +0200 From: Bengt Richter To: Pjotr Prins Subject: Re: RISC-V is giving away developer boards Message-ID: <20210501041414.GA5397@LionPure> References: <87lf8zokml.fsf@netris.org> <87v983afw2.fsf@gnu.org> <20210430193522.e4pduxklamzomcn2@thebird.nl> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20210430193522.e4pduxklamzomcn2@thebird.nl> User-Agent: Mutt/1.10.1 (2018-07-13) X-Proofpoint-GUID: GWtjjM2Ol9FFgEiJKs4dqC6Z_NU2bgpN X-Proofpoint-ORIG-GUID: GWtjjM2Ol9FFgEiJKs4dqC6Z_NU2bgpN X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.391, 18.0.761 definitions=2021-05-01_02:2021-04-30, 2021-05-01 signatures=0 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 phishscore=0 adultscore=0 mlxscore=0 suspectscore=0 malwarescore=0 clxscore=1034 priorityscore=1501 mlxlogscore=999 impostorscore=0 bulkscore=0 lowpriorityscore=0 spamscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2104060000 definitions=main-2105010027 Received-SPF: pass client-ip=216.200.145.38; envelope-from=bokr@oz.net; helo=imta-38.everyone.net X-Spam_score_int: -15 X-Spam_score: -1.6 X-Spam_bar: - X-Spam_report: (-1.6 / 5.0 requ) BAYES_00=-1.9, HEADER_FROM_DIFFERENT_DOMAINS=0.25, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Bengt Richter Cc: guix-devel@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1619842496; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post; bh=8FsODLphcUoK5+RXIF87SlLvorEbCjK2pNU4bycwTHU=; b=cjvbx4YQXFbMPWYn2JuscLXggCiU2M3zkkQNLdNcwIO8V/sWZE/2keWzeqyF+t8/mcwTZE 7Iq3LK2OWbX6b50V7pCV70O++fX5gDk6HBmLbSjirDLiyLGb95JaUoVsM4fK9Gp9eag3+7 0MNsHjtEqsnkeSbRWZv/gK0P5dIm5r6KIYFDB6jx+YhEn6wGQEy4kdpiqS8efRNpSnWfgi GkZVWnWyvKKfhhpzJCdaAwYB8B9VOo87FEA0P0V15jjoaKantDVoTaSPCmyC0OKvu5Z2KJ NlSbB7yw/UtEJKupwS+A8VzDrxjp6ZtyM8plkF1R6gE6Isw4llimjNqOfY27dw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1619842496; a=rsa-sha256; cv=none; b=WMGO+81oa9x5nmB/uNoxk6aZ9M05cXPuIKiYfnvkM9MZ/XBd9hz7ZnBfrUf2Lj3d8XtFls oSfsjIoK6TGlcrjLuPrkI4CtkQKeihfneBtb0bX5ud3XAhb+V9UUvONHmPfGF6DwOfCT+Y f5gX+tNtkAOUkp9uv66ZUzG8g47JOlNm9JufdDq0a5i1eIaMQ0fHgzNgUjO8ZBXOauBkKJ 6+UjX1IRYUc5dxvD7GbnKqGagYPuWEF7Dp8cXdmyauv8R+IvQZmzmM4R+IjKs5mksW2yG4 l+sSCTUBAb5bgLXZRuU+Wy9/5i+gQL/tA1RRnVGUf3dh41YEwFC9KRrgHLhmcQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Spam-Score: -1.96 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Queue-Id: 2F000B792 X-Spam-Score: -1.96 X-Migadu-Scanner: scn0.migadu.com X-TUID: MsN2HOba51kd Hi all, On +2021-04-30 21:35:22 +0200, Pjotr Prins wrote: > It is probably a good idea to apply from an academic institution to > increase chances of getting a free board. I am happy to help with the > application. > > We already have the 2GB RAM polarfire which we mostly use for toy > stuff right now: > > https://www.cnx-software.com/2020/07/20/polarfire-soc-icicle-64-bit-risc-v-and-fpga-development-board-runs-linux-or-freebsd/ > > If anyone is serious about a GNU Mes and/or GNU Guix port I can help > find a RISC-V board one way or another. Sounds like time and money > well spent to me. > > Pj. Could some riscv-model-version.scm be written to use qemu to create an exact virtual metal RISC-V board (of the kind being sampled, for starters) for use on our laptops and PCs? I think that might get more people involved, and would ideally produce images that would "just work" on the bare metal boards. Maybe guix could become a preferred RISC-V development environment :) Thoughts? > > On Fri, Apr 30, 2021 at 01:15:49PM -0400, Leo Famulari wrote: > > On Fri, Apr 30, 2021 at 06:36:29PM +0200, Ludovic Courtès wrote: > > > Could interested developers raise their hands? :-) > > > > I previously applied for early access to the BeagleV: > > > > https://beagleboard.org/beaglev > > > > I wasn't selected and I decided to focus on aarch64 for now. > > > > Hopefully some other people can step up and apply via this new program! > > > -- Regards, Bengt Richter