From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id MLVaC1gYwGS2wAAASxT56A (envelope-from ) for ; Tue, 25 Jul 2023 20:45:44 +0200 Received: from aspmx1.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id YH1iC1gYwGQXKgAA9RJhRA (envelope-from ) for ; Tue, 25 Jul 2023 20:45:44 +0200 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 E911338EC7 for ; Tue, 25 Jul 2023 20:45:43 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=incana.org header.s=gm1 header.b=LivPQepD; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1690310744; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=AaeL4jQdLnBI21Wm9wmdJOGYR8chMPTqA7iHKXSPW+A=; b=IMZQo6P0tUeNVNXDCzrXIZUxrkX1PEj2OicboKsddUDeZLkelXez3FMZovZTLydDQr34bJ SsiI+qNuFEtiCo6pdLmEvw0mumqpjpzJBEp+Oyqt5NYkMkHOa4Wnewxqr8AgLi2L3TqAKt SlJez5C2vrVM9nSlOMz4UmMNccavVRVbcVzudWEuCpo1Hxn2exOZQEZC2Q1XxSJLU3NbsJ bnPY5OrqWbF/19KWeiBpKuVJMawEoFpPvYZ82dn3ryXGcLxN1cK9Yw+oijtEsaoGd4uPPB VMhO4rGWCAlXxaVG5X8V2cJ5uMdD1YhT62cEdV5/j8/1MDxmWyRnOUFzwU8vQg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1690310744; a=rsa-sha256; cv=none; b=WjHOOIe0wtovMLhKk4COtz49Gjn4BDQ8efUhgEn7ekdY+6MBsPGPRVhvemDR7lipIKywZR SZio5aNEQqwwcnwPKSsSAacM8AxlcpnjSZZVjYN8+bahyEU4B5LXkmBCVxO285Dx6/vruh 8sBlWYJG5eYiQT/mYvybicuPEtJ3wp0IJPJzZ54i3grHPxsLU2anlZgPFsPmYJD3oK9ufc k+rF6M3MA375qdjZxPcGRf0+nR1i1gkUE9jhmX8qtVvBPSpzIKPRi1EEEYh9MzwSjBbsYU eK0CMFADAUgZAi09K2PCvBsLHpF4T6xaTG4zY4bSpyvytpcdyx2zvD502ie27g== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=incana.org header.s=gm1 header.b=LivPQepD; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=none Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qON1v-0007JL-50; Tue, 25 Jul 2023 14:45:07 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qON1s-0007IC-KN for guix-patches@gnu.org; Tue, 25 Jul 2023 14:45:04 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qON1q-000229-CQ for guix-patches@gnu.org; Tue, 25 Jul 2023 14:45:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qON1q-0000nE-8R for guix-patches@gnu.org; Tue, 25 Jul 2023 14:45:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64820] [PATCH v2] gnu: Add rvvm. Resent-From: Juliana Sims Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 25 Jul 2023 18:45:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64820 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64820@debbugs.gnu.org Cc: vagrant@debian.org, ludo@gnu.org, efraim@flashner.co.il, Juliana Sims Received: via spool by 64820-submit@debbugs.gnu.org id=B64820.16903106492972 (code B ref 64820); Tue, 25 Jul 2023 18:45:02 +0000 Received: (at 64820) by debbugs.gnu.org; 25 Jul 2023 18:44:09 +0000 Received: from localhost ([127.0.0.1]:46958 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qON0y-0000ls-RJ for submit@debbugs.gnu.org; Tue, 25 Jul 2023 14:44:09 -0400 Received: from relay9-d.mail.gandi.net ([217.70.183.199]:59731) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qON0w-0000lG-Lw for 64820@debbugs.gnu.org; Tue, 25 Jul 2023 14:44:07 -0400 Received: by mail.gandi.net (Postfix) with ESMTPSA id 039FDFF805; Tue, 25 Jul 2023 18:43:58 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=incana.org; s=gm1; t=1690310640; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=AaeL4jQdLnBI21Wm9wmdJOGYR8chMPTqA7iHKXSPW+A=; b=LivPQepDXwjbnYdJxA26gSXdm3uxdNZEitjiLW8yogHwxkCvrvGruA3mLcRrhzB77e+TMM PkiLRvXtlUp0viByp52w9iz/3cluYF8pfejq1LvhCwbW98ON5uzctllqfiViffNupDpNPF 1a22LvtDY/q2lWuDKCOkZ6wqyCaHeeUt70WDqjVssTqmhFW4UdhVkiknEvH758+sabbHf2 iLz2e0+kwtfbVfmfjMe35JZ6PUpmS1R8L29bPn8NxDd3yfVJ+hJuAWMPyMziK1pd4GyDn7 d3w1cDeXluWW6O/QXZ7Gy1Wm3yBQhDwvFxdr3BoMnM+yMc3bKKluGmxMrbITFA== From: Juliana Sims Date: Tue, 25 Jul 2023 14:42:45 -0400 Message-ID: <20230725184321.20712-1-juli@incana.org> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-GND-Sasl: juli@incana.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Scanner: mx2.migadu.com X-Migadu-Spam-Score: 0.76 X-Spam-Score: 0.76 X-Migadu-Queue-Id: E911338EC7 X-TUID: UlP6Ii3Xtf1Y Hello, This is the corrected form of the patch which correctly only adds the new package. I have taken the liberty of CC'ing the embedded team as well, as this seems closest to their domain. Thanks, Juli * gnu/packages/virtualization.scm (rvvm): New symbol. --- gnu/packages/virtualization.scm | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/gnu/packages/virtualization.scm b/gnu/packages/virtualization.scm index 3f6c32f390..f90705477c 100644 --- a/gnu/packages/virtualization.scm +++ b/gnu/packages/virtualization.scm @@ -1127,6 +1127,39 @@ (define-public ganeti-instance-debootstrap Debian or a derivative using @command{debootstrap}.") (license license:gpl2+))) +(define-public rvvm + (package + (name "rvvm") + (version "0.5") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/LekKit/RVVM") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1ldabcrmpa044bahpqa6ymwbhhwy69slh77f0m3421sq6j50l06p")))) + (build-system cmake-build-system) + (arguments + (list #:phases #~(modify-phases %standard-phases + (replace 'install + (lambda _ + (let ((bindir (string-append #$output "/bin/"))) + (mkdir-p bindir) + (copy-file "rvvm" + (string-append bindir "rvvm")))))) + #:tests? #f)) ;no tests + (home-page "https://github.com/LekKit/RVVM") + (synopsis "RISC-V virtual machine") + (description + "RVVM is a RISC-V CPU and system software implementation written in C. It +supports the entire RV64GC ISA, and it passes compliance tests for both RV64 and +RV32. OpenSBI, U-Boot, and custom firmwares boot and execute properly. It is +capable of running Linux, FreeBSD, OpenBSD, Haiku, and other OSes. Furthermore, +it emulates a variety of hardware and peripherals.") + (license (list license:gpl3+ license:mpl2.0)))) + (define-public spike (package (name "spike") -- 2.41.0