From unknown Mon Jun 16 23:39:32 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#54615 <54615@debbugs.gnu.org> To: bug#54615 <54615@debbugs.gnu.org> Subject: Status: [PATCH 0/2] Add riscv-pk and improve spike Reply-To: bug#54615 <54615@debbugs.gnu.org> Date: Tue, 17 Jun 2025 06:39:32 +0000 retitle 54615 [PATCH 0/2] Add riscv-pk and improve spike reassign 54615 guix-patches submitter 54615 Arun Isaac severity 54615 normal tag 54615 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 28 14:41:35 2022 Received: (at submit) by debbugs.gnu.org; 28 Mar 2022 18:41:35 +0000 Received: from localhost ([127.0.0.1]:59189 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYuJ5-0001Ri-KV for submit@debbugs.gnu.org; Mon, 28 Mar 2022 14:41:35 -0400 Received: from lists.gnu.org ([209.51.188.17]:51224) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYuJ3-0001Rb-Om for submit@debbugs.gnu.org; Mon, 28 Mar 2022 14:41:34 -0400 Received: from eggs.gnu.org ([209.51.188.92]:44784) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nYuJ0-0000Kg-SE for guix-patches@gnu.org; Mon, 28 Mar 2022 14:41:33 -0400 Received: from mugam.systemreboot.net ([139.59.75.54]:55544) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nYuIx-0006Gj-W1 for guix-patches@gnu.org; Mon, 28 Mar 2022 14:41:30 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=systemreboot.net; s=default; h=Content-Transfer-Encoding:MIME-Version: Message-Id:Date:Subject:Cc:To:From:Sender:Reply-To:Content-Type:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=aOx7muWGDbO9xJpd6Bwe+wATU67SVT/82bJCyQ4TqkI=; b=hYTnZhi5ZvXm6E/7Kdzvfw899a RY6DBS3RttYI0kMT2Y9TRZbkSJ+giqlFyf6cUukpgJ/NfoT7tSjlaCTLJ1RCW58LWRayzxLFUiYZ5 g7WJsl1jeiITqjyIKS2lFYtGpeUhvfHS91Cs94+OWk7EhnDvtdliFdis51H1ZM4xuZ3hnVDtLqQzP cHj4/0NavLwXz5DhJ66PRy+7/oNy1U5zhA3l5dtyckGqz3RpfiQPnJpCkvYyilPZrfHUZQAfjEVEh TcGlChhM9YbvvtcCikMjL8s5eyRx2MxHiarGK7s2EfEAXi0t/uXbQ732j7/tfoEcrehu0Nrgek35/ SnlUgTbg==; Received: from [192.168.2.1] (port=6194 helo=localhost.localdomain) by systemreboot.net with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1nYuIp-000OKV-KF; Tue, 29 Mar 2022 00:11:19 +0530 From: Arun Isaac To: guix-patches@gnu.org Subject: [PATCH 0/2] Add riscv-pk and improve spike Date: Tue, 29 Mar 2022 00:11:17 +0530 Message-Id: <20220328184117.25158-1-arunisaac@systemreboot.net> X-Mailer: git-send-email 2.34.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=139.59.75.54; envelope-from=arunisaac@systemreboot.net; helo=mugam.systemreboot.net X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: Arun Isaac , Efraim Flashner X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.4 (--) Patch 1 adds riscv-pk---a companion package for spike and something that is meant to be used with it. riscv-pk is not meant to build on x86_64. So, a regular `guix build riscv-pk' on a x86_64 machine will fail. Only `guix build --target=riscv64-linux-gnu riscv-pk' will succeed. Patch 2 improves our spike package by substituting the absolute path to dtc instead of wrapping the spike executable. Arun Isaac (2): gnu: spike: Substitute path to dtc instead of wrapping executables. gnu: Add riscv-pk. gnu/packages/virtualization.scm | 64 ++++++++++++++++++++++++++++----- 1 file changed, 55 insertions(+), 9 deletions(-) -- 2.34.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 28 14:43:26 2022 Received: (at 54615) by debbugs.gnu.org; 28 Mar 2022 18:43:26 +0000 Received: from localhost ([127.0.0.1]:59195 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYuKr-0001VA-VY for submit@debbugs.gnu.org; Mon, 28 Mar 2022 14:43:26 -0400 Received: from mugam.systemreboot.net ([139.59.75.54]:51780) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYuKq-0001Uv-8K for 54615@debbugs.gnu.org; Mon, 28 Mar 2022 14:43:25 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=systemreboot.net; s=default; h=Content-Transfer-Encoding:Content-Type: MIME-Version:Message-Id:Date:Subject:Cc:To:From:Sender:Reply-To:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=Hikk2s2WOCJriNhOiBAW9g6iWECrb84FDWks6/SENCc=; b=C+nRRd+grwwdb2iRyztzErbEgs FieT0IoeKqOv7HUOGdaM/+S6EOWkDyP/iOKGhPP1VrWv9IzOcuUl4hF5Umw08iv1nYYK+/pc+a0l9 Lf7EuHAlkEgagSjTPx+X/XTbALVAIj76r15mlDAIzAdovbduWI7Osm1OIIbeKxb0ynEwYwOLXZH1c tzQVKUW4kULSRVrk5HBxSwCYKDEEbCKDGQdJbyOYI3DYPiVkZmLx5HYAwK48QgyIZGDJFo1sCAu8i 8CXJmpT9/SwlknhKKwqlicwCYlcGoWbq71IEmTMlo4iCLI+CVkcDD3ElI4bBsg4kV6TZPb0oPJB38 GvVi9KIg==; Received: from [192.168.2.1] (port=7222 helo=localhost.localdomain) by systemreboot.net with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1nYuKn-000OKi-3A; Tue, 29 Mar 2022 00:13:21 +0530 From: Arun Isaac To: 54615@debbugs.gnu.org Subject: [PATCH 1/2] gnu: spike: Substitute path to dtc instead of wrapping executables. Date: Tue, 29 Mar 2022 00:13:18 +0530 Message-Id: <20220328184319.25281-1-arunisaac@systemreboot.net> X-Mailer: git-send-email 2.34.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 54615 Cc: Arun Isaac , Efraim Flashner X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/virtualization.scm (spike)[arguments]: Delete the wrap-binary phase. Add a configure-dtc-path phase that substitutes the absolute path to dtc. --- gnu/packages/virtualization.scm | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) diff --git a/gnu/packages/virtualization.scm b/gnu/packages/virtualization.scm index bd297977df..9c86670ce7 100644 --- a/gnu/packages/virtualization.scm +++ b/gnu/packages/virtualization.scm @@ -26,6 +26,7 @@ ;;; Copyright © 2021 Raghav Gururajan ;;; Copyright © 2022 Oleg Pykhalov ;;; Copyright © 2022 Ekaitz Zarraga +;;; Copyright © 2022 Arun Isaac ;;; ;;; This file is part of GNU Guix. ;;; @@ -1037,15 +1038,12 @@ (define-public spike (list #:phases #~(modify-phases %standard-phases - (add-after 'install 'wrap-binary - (lambda* (#:key inputs outputs #:allow-other-keys) - (let ((out (assoc-ref outputs "out"))) - (for-each - (lambda (file) - (wrap-program file - `("PATH" ":" prefix - (,(dirname (search-input-file inputs "/bin/dtc")))))) - (find-files (string-append out "/bin"))))))))) + (add-before 'configure 'configure-dtc-path + (lambda* (#:key inputs #:allow-other-keys) + ;; Reference dtc by its absolute store path. + (substitute* "riscv/dts.cc" + (("DTC") + (string-append "\"" (assoc-ref inputs "dtc") "/bin/dtc\"")))))))) (inputs (list bash-minimal dtc)) (native-inputs -- 2.34.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 28 14:43:26 2022 Received: (at 54615) by debbugs.gnu.org; 28 Mar 2022 18:43:26 +0000 Received: from localhost ([127.0.0.1]:59197 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYuKs-0001VC-77 for submit@debbugs.gnu.org; Mon, 28 Mar 2022 14:43:26 -0400 Received: from mugam.systemreboot.net ([139.59.75.54]:51782) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYuKq-0001Uw-92 for 54615@debbugs.gnu.org; Mon, 28 Mar 2022 14:43:25 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=systemreboot.net; s=default; h=Content-Transfer-Encoding:MIME-Version: References:In-Reply-To:Message-Id:Date:Subject:Cc:To:From:Sender:Reply-To: Content-Type:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help: List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=yyISSW7Eb1qsGVJmZcZMEKHDl5IYFskRS4ErdVCMQiE=; b=IPhTzFgYEALzF0aNw0CUdrhXUk /CPKsLOmtAbwflOmsCQOaqVLikQCg9i9fPb/rmmpmEIIcl7LTdszpwb/9z2lpCky6afD6EsVXgWvd 8DbrRrP/qh/U7ovOXSpZ4go1G2Gs4T4U9fbixkKh0/aNUkk5Wdad5ZL1PH79tCy6eLD+SLvzO/4lL xsi9Dwz1uOJIpZTdmuCxuOnBe/Lt1te7uOrrJqMKIh4r289YY8JI7oJ41pOs8ztkS7zUT020XKXk4 JwJXsS2BSGMDTqKKj3OXBorQdW5ypZzCeP05mlfZTWV/39/ziy98xqxovl536I98fFvxgCMd3VDDM i3lpMItQ==; Received: from [192.168.2.1] (port=7222 helo=localhost.localdomain) by systemreboot.net with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1nYuKn-000OKi-8f; Tue, 29 Mar 2022 00:13:21 +0530 From: Arun Isaac To: 54615@debbugs.gnu.org Subject: [PATCH 2/2] gnu: Add riscv-pk. Date: Tue, 29 Mar 2022 00:13:19 +0530 Message-Id: <20220328184319.25281-2-arunisaac@systemreboot.net> X-Mailer: git-send-email 2.34.0 In-Reply-To: <20220328184319.25281-1-arunisaac@systemreboot.net> References: <20220328184319.25281-1-arunisaac@systemreboot.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 54615 Cc: Arun Isaac , Efraim Flashner X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/virtualization.scm (riscv-pk): New variable. --- gnu/packages/virtualization.scm | 48 +++++++++++++++++++++++++++++++++ 1 file changed, 48 insertions(+) diff --git a/gnu/packages/virtualization.scm b/gnu/packages/virtualization.scm index 9c86670ce7..1f83addb1b 100644 --- a/gnu/packages/virtualization.scm +++ b/gnu/packages/virtualization.scm @@ -2365,3 +2365,51 @@ (define-public python-transient "@code{transient} is a wrapper for QEMU allowing the creation of virtual machines with shared folder, ssh, and disk creation support.") (license license:expat))) + +(define-public riscv-pk + (package + (name "riscv-pk") + (version "1.0.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/riscv-software-src/riscv-pk") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1cc0rz4q3a1zw8756b8yysw8lb5g4xbjajh5lvqbjix41hbdx6xz")))) + (build-system gnu-build-system) + (arguments + `(#:make-flags (list (string-append "INSTALLDIR=" + (assoc-ref %outputs "out"))) + ;; Add flags to keep symbols fromhost and tohost. These symbols are + ;; required for the correct functioning of pk. + #:strip-flags (list "--strip-unneeded" + "--keep-symbol=fromhost" + "--keep-symbol=tohost" + "--enable-deterministic-archives") + #:phases + (modify-phases %standard-phases + (add-before 'configure 'pre-configure + (lambda _ + ;; Building directly in the source tree is not supported. So, + ;; create a build directory and make configure accessible from + ;; there. + (mkdir-p "build") + (chdir "build") + (symlink "../configure" "configure"))) + (delete 'strip)))) + (home-page "https://github.com/riscv-software-src/riscv-pk") + (synopsis "RISC-V Proxy Kernel") + (description "The RISC-V Proxy Kernel, @command{pk}, is a lightweight +application execution environment that can host statically-linked RISC-V ELF +binaries. It is designed to support tethered RISC-V implementations with +limited I/O capability and thus handles I/O-related system calls by proxying +them to a host computer. + +This package also contains the Berkeley Boot Loader, @command{bbl}, which is a +supervisor execution environment for tethered RISC-V systems. It is designed +to host the RISC-V Linux port.") + (license license:bsd-3))) -- 2.34.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 28 14:56:05 2022 Received: (at 54615) by debbugs.gnu.org; 28 Mar 2022 18:56:05 +0000 Received: from localhost ([127.0.0.1]:59204 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYuX7-0001qY-Ej for submit@debbugs.gnu.org; Mon, 28 Mar 2022 14:56:05 -0400 Received: from mugam.systemreboot.net ([139.59.75.54]:51788) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYuX4-0001ps-2S for 54615@debbugs.gnu.org; Mon, 28 Mar 2022 14:56:03 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=systemreboot.net; s=default; h=Content-Transfer-Encoding:MIME-Version: Message-Id:Date:Subject:Cc:To:From:Sender:Reply-To:Content-Type:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=YBQNXSJ+eJYYtUxOBMHAbOhk0oSP+Q8DUrVzunEUGuw=; b=IMH3SZwOtCJdC7lIUxnXDKLWgL jTdqdx1rvKEjL8SqK31/ujpzA3IiuUGCLD7lbsN4tyIkcppISIgU60ZPC3WSrCL5BN5PLFceWHavq h/udko4YOIScNEH5JxxmHFZjJvfGuGR+a1fsy0dCjiONoBgV2RiMlc5DohX915dN/fwzj64Jm1fDH FtMOEAYsdESS2B/s3QZhV1hO0kK2y4SENKYaulJvF6lKvtfzVgoZMA/YEF9RxEHKZxuakWH8fQMid VVMCse5DsSzTyEhg00WMScGbjeJZrCDY+1K0o89ac4BpC2IknX4pss3ReDCcVUfQ3eI28y/2Trtw4 v5FeqjDg==; Received: from [192.168.2.1] (port=6566 helo=localhost.localdomain) by systemreboot.net with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1nYuX0-000OL2-T3; Tue, 29 Mar 2022 00:25:58 +0530 From: Arun Isaac To: 54615@debbugs.gnu.org Subject: [PATCH v2 0/2] Add riscv-pk and improve spike Date: Tue, 29 Mar 2022 00:25:55 +0530 Message-Id: <20220328185557.27310-1-arunisaac@systemreboot.net> X-Mailer: git-send-email 2.34.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 54615 Cc: Arun Isaac , Efraim Flashner X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi Efraim, I didn't realize you had already packaged riscv-pk in the guix-bioinformatics channel. I copied the idea of using #:out-of-source? from your version of the package. Here is an improved patchset. In your version of the package, I didn't understand why you had #:target and native-inputs. Could you enlighten me? Thanks, Arun Arun Isaac (2): gnu: spike: Substitute path to dtc instead of wrapping executables. gnu: Add riscv-pk. gnu/packages/virtualization.scm | 54 +++++++++++++++++++++++++++------ 1 file changed, 45 insertions(+), 9 deletions(-) -- 2.34.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 28 14:56:06 2022 Received: (at 54615) by debbugs.gnu.org; 28 Mar 2022 18:56:06 +0000 Received: from localhost ([127.0.0.1]:59206 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYuX7-0001qa-KK for submit@debbugs.gnu.org; Mon, 28 Mar 2022 14:56:06 -0400 Received: from mugam.systemreboot.net ([139.59.75.54]:51784) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYuX4-0001pr-1j for 54615@debbugs.gnu.org; Mon, 28 Mar 2022 14:56:03 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=systemreboot.net; s=default; h=Content-Transfer-Encoding:Content-Type: MIME-Version:References:In-Reply-To:Message-Id:Date:Subject:Cc:To:From:Sender :Reply-To:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help: List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=Hikk2s2WOCJriNhOiBAW9g6iWECrb84FDWks6/SENCc=; b=V703asu6O87VqKTKddfMk5eXDO hDW0Pd223Ghg2VrHaKEqegR6EgeCvUCgF37eU7f2Ewprc+uvs36CwVoR/XKKS2yOQDrku9W84PX2b r4JXtM8tAoQh8YW5vEGBYey4fbmEg6bAQ+XD4rEDxklK3OuT0rMyLM+R/jmpkgJrE0IHijFZH7V6T /FBx8NUkmdX39GoaVShCE41HW2AuQFzBaLGNi+VFrj8x+lDE63gPEnnHaeDcU88rmSEQIM7fUTLHa mg9gRXZO7j/jsG0SCzGoXBT4X2WQa1YZ/2uy0ocieWvOUFBu3GMFW2XENFFNuonC0UvmFEL09NKFF D4TiupPg==; Received: from [192.168.2.1] (port=6566 helo=localhost.localdomain) by systemreboot.net with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1nYuX1-000OL2-1i; Tue, 29 Mar 2022 00:25:59 +0530 From: Arun Isaac To: 54615@debbugs.gnu.org Subject: [PATCH v2 1/2] gnu: spike: Substitute path to dtc instead of wrapping executables. Date: Tue, 29 Mar 2022 00:25:56 +0530 Message-Id: <20220328185557.27310-2-arunisaac@systemreboot.net> X-Mailer: git-send-email 2.34.0 In-Reply-To: <20220328185557.27310-1-arunisaac@systemreboot.net> References: <20220328185557.27310-1-arunisaac@systemreboot.net> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 54615 Cc: Arun Isaac , Efraim Flashner X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/virtualization.scm (spike)[arguments]: Delete the wrap-binary phase. Add a configure-dtc-path phase that substitutes the absolute path to dtc. --- gnu/packages/virtualization.scm | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) diff --git a/gnu/packages/virtualization.scm b/gnu/packages/virtualization.scm index bd297977df..9c86670ce7 100644 --- a/gnu/packages/virtualization.scm +++ b/gnu/packages/virtualization.scm @@ -26,6 +26,7 @@ ;;; Copyright © 2021 Raghav Gururajan ;;; Copyright © 2022 Oleg Pykhalov ;;; Copyright © 2022 Ekaitz Zarraga +;;; Copyright © 2022 Arun Isaac ;;; ;;; This file is part of GNU Guix. ;;; @@ -1037,15 +1038,12 @@ (define-public spike (list #:phases #~(modify-phases %standard-phases - (add-after 'install 'wrap-binary - (lambda* (#:key inputs outputs #:allow-other-keys) - (let ((out (assoc-ref outputs "out"))) - (for-each - (lambda (file) - (wrap-program file - `("PATH" ":" prefix - (,(dirname (search-input-file inputs "/bin/dtc")))))) - (find-files (string-append out "/bin"))))))))) + (add-before 'configure 'configure-dtc-path + (lambda* (#:key inputs #:allow-other-keys) + ;; Reference dtc by its absolute store path. + (substitute* "riscv/dts.cc" + (("DTC") + (string-append "\"" (assoc-ref inputs "dtc") "/bin/dtc\"")))))))) (inputs (list bash-minimal dtc)) (native-inputs -- 2.34.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 28 14:56:06 2022 Received: (at 54615) by debbugs.gnu.org; 28 Mar 2022 18:56:06 +0000 Received: from localhost ([127.0.0.1]:59208 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYuX8-0001qh-4P for submit@debbugs.gnu.org; Mon, 28 Mar 2022 14:56:06 -0400 Received: from mugam.systemreboot.net ([139.59.75.54]:51786) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYuX4-0001pq-0z for 54615@debbugs.gnu.org; Mon, 28 Mar 2022 14:56:04 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=systemreboot.net; s=default; h=Content-Transfer-Encoding:MIME-Version: References:In-Reply-To:Message-Id:Date:Subject:Cc:To:From:Sender:Reply-To: Content-Type:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help: List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=fiLE+Zc9yERwOmiga53K/0DJ7IfCaDeh4ryHnz//+7Q=; b=OYSGT/iEtUuujsfJULOZMn0KX8 bq7ouAI//nePKZ3/wq3rbr7uQnyxvL4rwNfUzKFmtS6GmOfz0eccVWOchEwnmb9elrCag/bYInQhY wPoAcmgLeIK3hxsKDBdHXgp/G52Q+VbyruH6DNMAwtsf+A4l44R7fkvs7N8ZZ/NB/swOWWuRJDZOm nRfspKEZac1RJDMrXnYQhzrIb4iahFWfSR1Aj4XGpeejh8TI9QWtIAlc+CrHGvL3LH0zr5eumZq8H XJoLoklHdXZtiWqSvdjrXXpNQNLJHeesVo+FrzWLTB8Ht6enYMwuSL8KD/GQpnZq2XR8ak3hrxCFR PkmjXceg==; Received: from [192.168.2.1] (port=6566 helo=localhost.localdomain) by systemreboot.net with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1nYuX1-000OL2-Ab; Tue, 29 Mar 2022 00:25:59 +0530 From: Arun Isaac To: 54615@debbugs.gnu.org Subject: [PATCH v2 2/2] gnu: Add riscv-pk. Date: Tue, 29 Mar 2022 00:25:57 +0530 Message-Id: <20220328185557.27310-3-arunisaac@systemreboot.net> X-Mailer: git-send-email 2.34.0 In-Reply-To: <20220328185557.27310-1-arunisaac@systemreboot.net> References: <20220328185557.27310-1-arunisaac@systemreboot.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 54615 Cc: Arun Isaac , Efraim Flashner X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/virtualization.scm (riscv-pk): New variable. --- gnu/packages/virtualization.scm | 38 +++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) diff --git a/gnu/packages/virtualization.scm b/gnu/packages/virtualization.scm index 9c86670ce7..5904f274f5 100644 --- a/gnu/packages/virtualization.scm +++ b/gnu/packages/virtualization.scm @@ -2365,3 +2365,41 @@ (define-public python-transient "@code{transient} is a wrapper for QEMU allowing the creation of virtual machines with shared folder, ssh, and disk creation support.") (license license:expat))) + +(define-public riscv-pk + (package + (name "riscv-pk") + (version "1.0.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/riscv-software-src/riscv-pk") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1cc0rz4q3a1zw8756b8yysw8lb5g4xbjajh5lvqbjix41hbdx6xz")))) + (build-system gnu-build-system) + (arguments + `(#:out-of-source? #t + #:make-flags (list (string-append "INSTALLDIR=" + (assoc-ref %outputs "out"))) + ;; Add flags to keep symbols fromhost and tohost. These symbols are + ;; required for the correct functioning of pk. + #:strip-flags (list "--strip-unneeded" + "--keep-symbol=fromhost" + "--keep-symbol=tohost" + "--enable-deterministic-archives"))) + (home-page "https://github.com/riscv-software-src/riscv-pk") + (synopsis "RISC-V Proxy Kernel") + (description "The RISC-V Proxy Kernel, @command{pk}, is a lightweight +application execution environment that can host statically-linked RISC-V ELF +binaries. It is designed to support tethered RISC-V implementations with +limited I/O capability and thus handles I/O-related system calls by proxying +them to a host computer. + +This package also contains the Berkeley Boot Loader, @command{bbl}, which is a +supervisor execution environment for tethered RISC-V systems. It is designed +to host the RISC-V Linux port.") + (license license:bsd-3))) -- 2.34.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 28 15:24:56 2022 Received: (at 54615) by debbugs.gnu.org; 28 Mar 2022 19:24:56 +0000 Received: from localhost ([127.0.0.1]:59217 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYuz2-0002aN-Jr for submit@debbugs.gnu.org; Mon, 28 Mar 2022 15:24:56 -0400 Received: from andre.telenet-ops.be ([195.130.132.53]:58888) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYuyz-0002aC-QD for 54615@debbugs.gnu.org; Mon, 28 Mar 2022 15:24:54 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by andre.telenet-ops.be with bizsmtp id BvQr2700C4UW6Th01vQr2B; Mon, 28 Mar 2022 21:24:52 +0200 Message-ID: <760515650f6a61df50848d38355d1d7c1d8a6522.camel@telenet.be> Subject: Re: [bug#54615] [PATCH v2 2/2] gnu: Add riscv-pk. From: Maxime Devos To: Arun Isaac , 54615@debbugs.gnu.org Date: Mon, 28 Mar 2022 21:24:45 +0200 In-Reply-To: <20220328185557.27310-3-arunisaac@systemreboot.net> References: <20220328185557.27310-1-arunisaac@systemreboot.net> <20220328185557.27310-3-arunisaac@systemreboot.net> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-aiWHYswWqsNN2Dc/DfgS" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1648495492; bh=JAtbdV/XkM6HS8FZxd+rwa6O1r+wCYU2ZRQ5/gvfMT8=; h=Subject:From:Reply-To:To:Cc:Date:In-Reply-To:References; b=e/OL6yO86XK2C6o+1Rci62NsabGJlfHGF/BlhTTGnjuKa4TmZ8PXH5/RmwoXnlqGN QqwLFskXpJVC92vnJYIondXMSKzSLFm7gzVUDuWr/oeNv+yL69Z2hEcmKh+/zl8YSy 2cgFzrhe1O/FwZp8ajT30e3Sv09Moo/zkMNkLdZ2kPUV9oP5Y7WiHBPopZG3IB7lrm yJvC0yYAgJd/WB/WNhIU8W9jeIEPdLyVbJAsR+O3bklur02Kz+lxE5uRF72QWepDOk Jm61RxfdsbU/b9cDU5lA1il7q6yqnmra58Utj8dUIIfV2GIOKhQc3wIZYswki9fnyY B9QhKnA+uDkWg== X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 54615 Cc: Efraim Flashner X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: 54615@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) --=-aiWHYswWqsNN2Dc/DfgS Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 QXJ1biBJc2FhYyBzY2hyZWVmIG9wIGRpIDI5LTAzLTIwMjIgb20gMDA6MjUgWyswNTMwXToKPiAr wqDCoMKgwqDCoMKgICM6bWFrZS1mbGFncyAobGlzdCAoc3RyaW5nLWFwcGVuZCAiSU5TVEFMTERJ Uj0iCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChhc3NvYy1yZWYgJW91dHB1dHMgIm91dCIp KSkKCiVvdXRwdXRzIGlzIGFsbW9zdCB1bmRvY3VtZW50ZWQgKGFuZCBmb3Igc29tZSBidWlsZCBz eXN0ZW1zIGV2ZW4KdW5kZWZpbmVkKSwgSSByZWNvbW1lbmQgRy1leHBzIGluc3RlYWQ6CgogIChh cmd1bWVudHMKICAgIChsaXN0ICM6bWFrZS1mbGFncwogICAgICAgICAgI34obGlzdCAoc3RyaW5n LWFwcGVuZCAiSU5TVEFMTERJUj0iICMkb3V0cHV0KSkKICAgICAgICAgIC4uLikpCgpHcmVldGlu Z3MsCk1heGltZS4K --=-aiWHYswWqsNN2Dc/DfgS Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYkILfRccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7jqHAP91ZJu+BmeoD6QMr2D6gVquJhR+ KYmbPm4KOeOvXxjpUQEAx453f4DO5QtS2SHRDJZwVH569kIfnu4QoHa2jzqpkAk= =8usW -----END PGP SIGNATURE----- --=-aiWHYswWqsNN2Dc/DfgS-- From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 28 15:49:19 2022 Received: (at 54615) by debbugs.gnu.org; 28 Mar 2022 19:49:19 +0000 Received: from localhost ([127.0.0.1]:59242 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYvMd-0003Ex-Fw for submit@debbugs.gnu.org; Mon, 28 Mar 2022 15:49:19 -0400 Received: from baptiste.telenet-ops.be ([195.130.132.51]:40590) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYvMa-0003En-J7 for 54615@debbugs.gnu.org; Mon, 28 Mar 2022 15:49:18 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by baptiste.telenet-ops.be with bizsmtp id BvpE2700A4UW6Th01vpEWf; Mon, 28 Mar 2022 21:49:14 +0200 Message-ID: <73d7e30a2341d85c58abcf293d41aaa970ba17bd.camel@telenet.be> Subject: Re: [bug#54615] [PATCH v2 1/2] gnu: spike: Substitute path to dtc instead of wrapping executables. From: Maxime Devos To: Arun Isaac , 54615@debbugs.gnu.org Date: Mon, 28 Mar 2022 21:49:08 +0200 In-Reply-To: <20220328185557.27310-2-arunisaac@systemreboot.net> References: <20220328185557.27310-1-arunisaac@systemreboot.net> <20220328185557.27310-2-arunisaac@systemreboot.net> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-gAQpxC9uxMUCE+6xGrre" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1648496954; bh=egLQ6JVuHbd9G0zIeaKNo4iYz2DK81VQ/jgwk3P0kqQ=; h=Subject:From:Reply-To:To:Cc:Date:In-Reply-To:References; b=SnMPdC7cDLoRT0nxaJ+tA/f1opu2nwRXX0uhvbIjsQKvzP7rFflQSKwp54IWekliq +IIR5Sbi3EnESZoC1TNwjvxHyHDssJY4pErT2cdW0RZhZHfvzTVPhEZaAhG2UCSzUm jjYJOQMh2VMhNYs+eudtYD5H7ti/IldLBlrxW5NdjS9V9dPfbdHssjQuH61vE7nZ14 4GAylfVy06zLa97rem1P09zUUV2ULcC4n8M99wK18r2tk0M0+8mh/VMKGVMRQSU+9T 1yxqkV4ymxPESOSToPbbkABzZ0yMe6SEfvIALxuaxQx7iU2a6ToA/iZM3v0DT2/Iqf 9dQxgI+nbQ27Q== X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 54615 Cc: Efraim Flashner X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: 54615@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) --=-gAQpxC9uxMUCE+6xGrre Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 QXJ1biBJc2FhYyBzY2hyZWVmIG9wIGRpIDI5LTAzLTIwMjIgb20gMDA6MjUgWyswNTMwXToKPiAt wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgICgsKGRpcm5h bWUgKHNlYXJjaC1pbnB1dC1maWxlIGlucHV0cyAiL2Jpbi9kdGMiKSkpKSkpCj4gLcKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoZmluZC1maWxlcyAoc3RyaW5nLWFwcGVuZCBv dXQgIi9iaW4iKSkpKSkpKSkpCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgIChhZGQtYmVmb3JlICdj b25maWd1cmUgJ2NvbmZpZ3VyZS1kdGMtcGF0aAo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAg KGxhbWJkYSogKCM6a2V5IGlucHV0cyAjOmFsbG93LW90aGVyLWtleXMpCj4gK8KgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqAgOzsgUmVmZXJlbmNlIGR0YyBieSBpdHMgYWJzb2x1dGUgc3RvcmUg cGF0aC4KPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoc3Vic3RpdHV0ZSogInJpc2N2 L2R0cy5jYyIKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKCgiRFRDIikKPiAr wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoc3RyaW5nLWFwcGVuZCAiXCIiIChh c3NvYy1yZWYgaW5wdXRzICJkdGMiKSAiL2Jpbi9kdGNcIiIpKSkpKSkpKQoKV2h5IGlzIHNlYXJj aC1pbnB1dC1maWxlIGJlaW5nIHJlcGxhY2VkIGJ5IGFzc29jLXJlZj8KCkdyZWV0aW5ncywKTWF4 aW1lLgo= --=-gAQpxC9uxMUCE+6xGrre Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYkIRNBccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7t+3AQDDvIsROEqxbxOHi3tTaEK3h37l yjnrQZ9lYCIq9LvylgD9GjbqhAYZYsVuNqj7bFQF+UBs49f5/6LNZIGV+JPrKgQ= =QLNN -----END PGP SIGNATURE----- --=-gAQpxC9uxMUCE+6xGrre-- From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 28 16:11:13 2022 Received: (at 54615) by debbugs.gnu.org; 28 Mar 2022 20:11:13 +0000 Received: from localhost ([127.0.0.1]:59270 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYvho-0003n0-UL for submit@debbugs.gnu.org; Mon, 28 Mar 2022 16:11:13 -0400 Received: from flashner.co.il ([178.62.234.194]:35054) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nYvhn-0003mo-VB for 54615@debbugs.gnu.org; Mon, 28 Mar 2022 16:11:12 -0400 Received: from localhost (unknown [5.102.239.82]) by flashner.co.il (Postfix) with ESMTPSA id CE69940224; Mon, 28 Mar 2022 20:11:05 +0000 (UTC) Date: Mon, 28 Mar 2022 23:10:30 +0300 From: Efraim Flashner To: Arun Isaac Subject: Re: [PATCH v2 0/2] Add riscv-pk and improve spike Message-ID: Mail-Followup-To: Efraim Flashner , Arun Isaac , 54615@debbugs.gnu.org References: <20220328185557.27310-1-arunisaac@systemreboot.net> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="Takh+4nwIm0hd16T" Content-Disposition: inline In-Reply-To: <20220328185557.27310-1-arunisaac@systemreboot.net> X-PGP-Key-ID: 0x41AAE7DCCA3D8351 X-PGP-Key: https://flashner.co.il/~efraim/efraim_flashner.asc X-PGP-Fingerprint: A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 54615 Cc: 54615@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --Takh+4nwIm0hd16T Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Tue, Mar 29, 2022 at 12:25:55AM +0530, Arun Isaac wrote: > Hi Efraim, >=20 > I didn't realize you had already packaged riscv-pk in the guix-bioinforma= tics > channel. I copied the idea of using #:out-of-source? from your version of= the > package. Here is an improved patchset. >=20 > In your version of the package, I didn't understand why you had #:target = and > native-inputs. Could you enlighten me? >=20 > Thanks, > Arun The native-inputs I got rid of because they weren't needed in the end, I just hadn't committed the change yet. For target I was under the impression that it had to be compiled targeting riscv64-(unknown-)?linux-gnu so I had that there. The instructions upstream involved using a configure-flag instead, which is why I started with the native-inputs. > Arun Isaac (2): > gnu: spike: Substitute path to dtc instead of wrapping executables. > gnu: Add riscv-pk. >=20 > gnu/packages/virtualization.scm | 54 +++++++++++++++++++++++++++------ > 1 file changed, 45 insertions(+), 9 deletions(-) >=20 > --=20 > 2.34.0 >=20 --=20 Efraim Flashner =D7=90=D7=A4=D7=A8=D7=99=D7=9D = =D7=A4=D7=9C=D7=A9=D7=A0=D7=A8 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --Takh+4nwIm0hd16T Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAmJCFjQACgkQQarn3Mo9 g1HBcA/8D3rgkQ3zthcJyWDwG1EfJqs0ssMnfoX59a48IWwkDi2nzeniNaFbNglC doJNZPkTl1OFafKiOTc/kRFJezHNNEWFQTE4U54iMviCmO36cBCfLo8voMpGwhzm JH5ng8vM3WPNBlQbMYwUFh9kJtRAHBUcKfcaupC2WtgpW7aRshaFl7XLA7ZKyObm AwQvf/ItmjkbxsfIpCwDTPIWqlLKR1vxRaYa9cvhDgZs4+Rx7DhKKVlusYUVv3As 40ujoLciWEef3JyQ4snGwZ8gGc+z3mSR9LX/S63WbEfa+nxMZi2ukvAK5TmmQJHG aJJDT47qEYXwgYjpovNcQ/JXhatEAvFj/gdbr70gYBGdxLZcUKxj3V2qkzxVTxgD EY1J1BNzdewtrIQROkJdYH8Hc8FIxBZJQ5ZfKQbUBucPXOyflJgqfgIbBCOd1N6z P9C8UJpyQFIkpq8JxZ3pfQNQuuqBzkudcobCRab2MkT5uEvXaIOtTG/8QHNGCrE0 ohFebGRDz7tR4rIO04Kt6iQzgyIAu1yfitIyZAMsdY5RNjrtsZdX5DsQ110twV+2 ARJEoeMcztGnGp47m72xpghuUuxERNnVOmr7eaZRXFv3obdQmg1O9183fCs8PpUT JYi3Oq0yTKqkrxdcCdsnrpMkQ+kReD75JzBlN+Gn+uxTKYM7/50= =7sPu -----END PGP SIGNATURE----- --Takh+4nwIm0hd16T-- From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 29 06:39:17 2022 Received: (at 54615) by debbugs.gnu.org; 29 Mar 2022 10:39:17 +0000 Received: from localhost ([127.0.0.1]:59974 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nZ9Fs-00017h-G1 for submit@debbugs.gnu.org; Tue, 29 Mar 2022 06:39:16 -0400 Received: from mugam.systemreboot.net ([139.59.75.54]:51790) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nZ9Fl-00017F-AS for 54615@debbugs.gnu.org; Tue, 29 Mar 2022 06:39:11 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=systemreboot.net; s=default; h=Content-Type:MIME-Version:Message-ID:Date: References:In-Reply-To:Subject:Cc:To:From:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=erfe+RhF1v/REi4TI3E8lPtE97siEUdqptZm9yvM6hM=; b=AZEpSk19htc6OTMNdA25g1WjUh d8H4tXvEso0IV0FXQIFgo7dNrqdrrOGAZZzpGmQROhEMFEd5xKVdyXUmc3fecVOGx1+hBp6a3i/+M 9jIe4EzII2qiPCqfDZ/q9o4+P4eD+HTmClIOOyQmoTa6DxkATfaBgm0wT+dwl8FwR5IOQK4zr+w6c 367iQNKOikVWQMTZIwIRSQbEBwULXSQOjznsb7OthqT3LHMkf1IhZC/Ul6dWmWlsjJ0eoHFBJ7C+r 4c33XSwmGPo883nP7W/6sPFl76IGe1GmMZj6Q1vgcwtcZQZT/dQoZsMBNCinvPl7USAR/OM13y2Zu hbn5ONOQ==; Received: from [192.168.2.1] (port=5658 helo=steel) by systemreboot.net with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1nZ9Fi-000Qkc-3O; Tue, 29 Mar 2022 16:09:06 +0530 From: Arun Isaac To: Efraim Flashner Subject: Re: [PATCH v2 0/2] Add riscv-pk and improve spike In-Reply-To: References: <20220328185557.27310-1-arunisaac@systemreboot.net> Date: Tue, 29 Mar 2022 16:09:05 +0530 Message-ID: <87wngdniuu.fsf@systemreboot.net> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 54615 Cc: 54615@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) > The native-inputs I got rid of because they weren't needed in the end, I > just hadn't committed the change yet. For target I was under the > impression that it had to be compiled targeting > riscv64-(unknown-)?linux-gnu so I had that there. The instructions > upstream involved using a configure-flag instead, which is why I started > with the native-inputs. Thanks, that clears it up! I've added #:target in v3 of my patchset, and will send it shortly. From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 29 06:42:19 2022 Received: (at 54615) by debbugs.gnu.org; 29 Mar 2022 10:42:19 +0000 Received: from localhost ([127.0.0.1]:59979 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nZ9Ip-0001CS-68 for submit@debbugs.gnu.org; Tue, 29 Mar 2022 06:42:19 -0400 Received: from mugam.systemreboot.net ([139.59.75.54]:51794) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nZ9In-0001CK-IK for 54615@debbugs.gnu.org; Tue, 29 Mar 2022 06:42:18 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=systemreboot.net; s=default; h=Content-Type:MIME-Version:Message-ID:Date: References:In-Reply-To:Subject:Cc:To:From:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=njkjSaJLmoAZw9hlNFGO8HsFFsgV51eh120luFu1xZY=; b=Ycc9AgI6sZWUSDVWmJNvDx7xU2 rkENSsicJrPmKG71z96X25TE7ZlGE+oLYNMwPqJC0j0bGlY+IYS9mR9gwrJm4DBUTiJxA94Memg8x PYMMm8qloSDwgJxLhI2Y6YvLFysbRxpuvUq9fLFI/fEo1UDCtTDTpkJDsBWCoKRBtNE8lHDj6CAoD PpgFMYB4Sckus9RWX++CTQCAz3rRM8LtEquPho67Gf1c9up80b/qy0OrQg649XFx/QOUtdAxfqbMc HXpUl9VBhP89MAZbt1+l8+hQLzEFGFk0+Osrwt83uT6Jk5xIHQGwGviQsMLdFR/RSGOXXdT3HfUIb hFCmSFKw==; Received: from [192.168.2.1] (port=7226 helo=steel) by systemreboot.net with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1nZ9Ik-000Qkw-T7; Tue, 29 Mar 2022 16:12:14 +0530 From: Arun Isaac To: Maxime Devos , 54615@debbugs.gnu.org Subject: Re: [bug#54615] [PATCH v2 1/2] gnu: spike: Substitute path to dtc instead of wrapping executables. In-Reply-To: <73d7e30a2341d85c58abcf293d41aaa970ba17bd.camel@telenet.be> References: <20220328185557.27310-1-arunisaac@systemreboot.net> <20220328185557.27310-2-arunisaac@systemreboot.net> <73d7e30a2341d85c58abcf293d41aaa970ba17bd.camel@telenet.be> Date: Tue, 29 Mar 2022 16:12:14 +0530 Message-ID: <87sfr1nipl.fsf@systemreboot.net> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 54615 Cc: Efraim Flashner X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi Maxime, > %outputs is almost undocumented > Why is search-input-file being replaced by assoc-ref? Thanks for catching these! It looks like my knowledge of Guix packaging is a bit behind the times. I didn't know about %outputs being deprecated, and didn't even know about search-input-file! I've fixed both issues. A v3 of the patchset follows. Regards, Arun From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 29 06:43:15 2022 Received: (at 54615) by debbugs.gnu.org; 29 Mar 2022 10:43:15 +0000 Received: from localhost ([127.0.0.1]:59984 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nZ9Jj-0001E4-EU for submit@debbugs.gnu.org; Tue, 29 Mar 2022 06:43:15 -0400 Received: from mugam.systemreboot.net ([139.59.75.54]:51798) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nZ9Jh-0001Dq-2n for 54615@debbugs.gnu.org; Tue, 29 Mar 2022 06:43:13 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=systemreboot.net; s=default; h=Content-Transfer-Encoding:Content-Type: MIME-Version:References:In-Reply-To:Message-Id:Date:Subject:Cc:To:From:Sender :Reply-To:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help: List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=uIi+LWDnrFq95RfDevzgWUB/4kcXt4FxjNOKCQ/WcBk=; b=MPuXcpoMweog1qnygyYUQX6RLi K+jKFfnZ2rq3gW7BxeHvSs/X1DEASUHSzkdJb2TSfAAK3+PhTh/Z4YXKn/jCr6Y1od4HijaJLFW5a C/LSPBPd2PN++cBUwP0ti0FOiIFvoaq0tM1JtmYE9J5a84I/A4HTJx+rV9s90cHYKo5RjNbmsnQ/D 5ocD9FWOMzA0m63gxaZCxGul+WE1jad+xj7yHT4bP9NBkVYwFv3TtBVKoy6efLqwj61YMhlqTC1p6 7Q8MFtqausojI047NkxOxkjqvzBJl5LTWCZtmkhe+8ht3JWdZ+l1svOxeRPMXLZ+yMRCJzW5UEaAU BRQnKtWg==; Received: from [192.168.2.1] (port=6060 helo=localhost.localdomain) by systemreboot.net with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1nZ9JZ-000Ql6-9C; Tue, 29 Mar 2022 16:13:05 +0530 From: Arun Isaac To: Maxime Devos , Arun Isaac , 54615@debbugs.gnu.org Subject: [PATCH v3 1/2] gnu: spike: Substitute path to dtc instead of wrapping executables. Date: Tue, 29 Mar 2022 16:13:02 +0530 Message-Id: <20220329104303.31212-1-arunisaac@systemreboot.net> X-Mailer: git-send-email 2.34.0 In-Reply-To: <73d7e30a2341d85c58abcf293d41aaa970ba17bd.camel@telenet.be> References: <73d7e30a2341d85c58abcf293d41aaa970ba17bd.camel@telenet.be> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 54615 Cc: Efraim Flashner X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/virtualization.scm (spike)[arguments]: Delete the wrap-binary phase. Add a configure-dtc-path phase that substitutes the absolute path to dtc. --- gnu/packages/virtualization.scm | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) diff --git a/gnu/packages/virtualization.scm b/gnu/packages/virtualization.scm index bd297977df..4c0f02154c 100644 --- a/gnu/packages/virtualization.scm +++ b/gnu/packages/virtualization.scm @@ -26,6 +26,7 @@ ;;; Copyright © 2021 Raghav Gururajan ;;; Copyright © 2022 Oleg Pykhalov ;;; Copyright © 2022 Ekaitz Zarraga +;;; Copyright © 2022 Arun Isaac ;;; ;;; This file is part of GNU Guix. ;;; @@ -1037,15 +1038,12 @@ (define-public spike (list #:phases #~(modify-phases %standard-phases - (add-after 'install 'wrap-binary - (lambda* (#:key inputs outputs #:allow-other-keys) - (let ((out (assoc-ref outputs "out"))) - (for-each - (lambda (file) - (wrap-program file - `("PATH" ":" prefix - (,(dirname (search-input-file inputs "/bin/dtc")))))) - (find-files (string-append out "/bin"))))))))) + (add-before 'configure 'configure-dtc-path + (lambda* (#:key inputs #:allow-other-keys) + ;; Reference dtc by its absolute store path. + (substitute* "riscv/dts.cc" + (("DTC") + (string-append "\"" (search-input-file inputs "/bin/dtc") "\"")))))))) (inputs (list bash-minimal dtc)) (native-inputs -- 2.34.0 From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 29 06:43:16 2022 Received: (at 54615) by debbugs.gnu.org; 29 Mar 2022 10:43:16 +0000 Received: from localhost ([127.0.0.1]:59986 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nZ9Jj-0001E6-NE for submit@debbugs.gnu.org; Tue, 29 Mar 2022 06:43:16 -0400 Received: from mugam.systemreboot.net ([139.59.75.54]:51796) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nZ9Jh-0001Dp-0p for 54615@debbugs.gnu.org; Tue, 29 Mar 2022 06:43:13 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=systemreboot.net; s=default; h=Content-Transfer-Encoding:MIME-Version: References:In-Reply-To:Message-Id:Date:Subject:Cc:To:From:Sender:Reply-To: Content-Type:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help: List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=S2VqcIukan3Mfz4cr0FjQz+d9UQmVGxRxHHkGzj4RMo=; b=Y6q6hd+bvhVdyYaDo36xczS3Gi nnlfenaOi257vEhPcVp3seGwQrszkFdatsvv9Esy6BeGXiHP0jNVRtFXRc8y3dcyMbqjVxnE6BXfq CxtRbNIm8RskZKIpy90dFEW3fT3SrlXe+ByNG7JEMALQbVw9fqym9+niwD7qoJpe69kdHpSewhv2i friEY9DjfB+i19UrcY91ho47hQVAzTE0Pr8+XjL8JfjccliktWjv0fhG7rsZjWRLRRg22blPhux83 +1Y5pCkDsdDZjKmxOPt6K7aOEopYcXMrn2iYXJK0WotIQhHt5T5rPLQM8jnHcndLBrqGrKqH3qc5g DJhzpgEw==; Received: from [192.168.2.1] (port=6060 helo=localhost.localdomain) by systemreboot.net with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1nZ9JZ-000Ql6-Ht; Tue, 29 Mar 2022 16:13:05 +0530 From: Arun Isaac To: Maxime Devos , Arun Isaac , 54615@debbugs.gnu.org Subject: [PATCH v3 2/2] gnu: Add riscv-pk. Date: Tue, 29 Mar 2022 16:13:03 +0530 Message-Id: <20220329104303.31212-2-arunisaac@systemreboot.net> X-Mailer: git-send-email 2.34.0 In-Reply-To: <73d7e30a2341d85c58abcf293d41aaa970ba17bd.camel@telenet.be> References: <73d7e30a2341d85c58abcf293d41aaa970ba17bd.camel@telenet.be> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 54615 Cc: Efraim Flashner X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/virtualization.scm (riscv-pk): New variable. --- gnu/packages/virtualization.scm | 39 +++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) diff --git a/gnu/packages/virtualization.scm b/gnu/packages/virtualization.scm index 4c0f02154c..a058e59f6b 100644 --- a/gnu/packages/virtualization.scm +++ b/gnu/packages/virtualization.scm @@ -2365,3 +2365,42 @@ (define-public python-transient "@code{transient} is a wrapper for QEMU allowing the creation of virtual machines with shared folder, ssh, and disk creation support.") (license license:expat))) + +(define-public riscv-pk + (package + (name "riscv-pk") + (version "1.0.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/riscv-software-src/riscv-pk") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1cc0rz4q3a1zw8756b8yysw8lb5g4xbjajh5lvqbjix41hbdx6xz")))) + (build-system gnu-build-system) + (arguments + (list #:out-of-source? #t + ;; riscv-pk can only be built for riscv64. + #:target "riscv64-linux-gnu" + #:make-flags #~(list (string-append "INSTALLDIR=" #$output)) + ;; Add flags to keep symbols fromhost and tohost. These symbols are + ;; required for the correct functioning of pk. + #:strip-flags #~(list "--strip-unneeded" + "--keep-symbol=fromhost" + "--keep-symbol=tohost" + "--enable-deterministic-archives"))) + (home-page "https://github.com/riscv-software-src/riscv-pk") + (synopsis "RISC-V Proxy Kernel") + (description "The RISC-V Proxy Kernel, @command{pk}, is a lightweight +application execution environment that can host statically-linked RISC-V ELF +binaries. It is designed to support tethered RISC-V implementations with +limited I/O capability and thus handles I/O-related system calls by proxying +them to a host computer. + +This package also contains the Berkeley Boot Loader, @command{bbl}, which is a +supervisor execution environment for tethered RISC-V systems. It is designed +to host the RISC-V Linux port.") + (license license:bsd-3))) -- 2.34.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Mar 31 08:31:16 2022 Received: (at 54615-done) by debbugs.gnu.org; 31 Mar 2022 12:31:16 +0000 Received: from localhost ([127.0.0.1]:38214 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nZtxM-0003hM-Kx for submit@debbugs.gnu.org; Thu, 31 Mar 2022 08:31:16 -0400 Received: from flashner.co.il ([178.62.234.194]:47098) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nZtxJ-0003aA-Np for 54615-done@debbugs.gnu.org; Thu, 31 Mar 2022 08:31:15 -0400 Received: from localhost (unknown [5.102.239.82]) by flashner.co.il (Postfix) with ESMTPSA id A195640023; Thu, 31 Mar 2022 12:31:07 +0000 (UTC) Date: Thu, 31 Mar 2022 15:30:26 +0300 From: Efraim Flashner To: Arun Isaac Subject: Re: [PATCH v3 2/2] gnu: Add riscv-pk. Message-ID: Mail-Followup-To: Efraim Flashner , Arun Isaac , Maxime Devos , 54615-done@debbugs.gnu.org References: <73d7e30a2341d85c58abcf293d41aaa970ba17bd.camel@telenet.be> <20220329104303.31212-2-arunisaac@systemreboot.net> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="kGEoXzMamXQA6GxC" Content-Disposition: inline In-Reply-To: <20220329104303.31212-2-arunisaac@systemreboot.net> X-PGP-Key-ID: 0x41AAE7DCCA3D8351 X-PGP-Key: https://flashner.co.il/~efraim/efraim_flashner.asc X-PGP-Fingerprint: A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 54615-done Cc: Maxime Devos , 54615-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --kGEoXzMamXQA6GxC Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Thanks for the patches. Does it make sense to wrap spike with riscv-pk? Right now I'm running it with: guix shell spike riscv-pk -- sh -c 'spike $GUIX_ENVIRONMENT/bin/pk /gnu/sto= re/hzd70l3dbgf66m4ibf34dzl7sif06f3k-hello-static-2.12/bin/hello' I'm not sure how much spike is used without pk. --=20 Efraim Flashner =D7=90=D7=A4=D7=A8=D7=99=D7=9D = =D7=A4=D7=9C=D7=A9=D7=A0=D7=A8 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --kGEoXzMamXQA6GxC Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAmJFnt8ACgkQQarn3Mo9 g1G0AA//fSVtoTdOFdekn6vA7QGpXpCSimUmzt+Ti0RYRY0eYl2MVzNzI9UHyHBi MUfjvJYGtwZoc3tTiNJir2R8BOqXCZLXi1aFaEPAjQfu6RrintFxN1nj+nFQbIXx D3a31DK7msoAX880830c1zwLWCQcZIljz/Q5idn8k3NZuZVkwXWANhQhMcuoKzM7 AGA6kVjDLZ47Im/WD38h0YBSmmY5GTZkf8mQROE/r/y+bPWkF2cSk3jxU5tHovRp Cu73zipNzu/SyFqPkXjCx6NqfWhO41p31t97GnByCPXPv+iooFEQ0kV4+vGPif+J FgjPpB64MRoAfSrO8WOAcBrACXAXvD/y51Gs6ZXTaQ9c9acJlDwJ2MMchF0FvBM3 3nmD4Olanzo1fryvXk2YlxXeNJHbEXsrrXqh7YXqevNQcgxy39JENrjR+YcrYWfS dkYFRkuOdNm89AqhJM2Q1BAheGiMA/xXIG/et5K6zS7y73jxJRjYaRpZvEV9n8Ks 2FTTTUqSDVNJAZPs22EDO3GLSoq/FOuYrIfbw1mllQgQ4oE93zTNGjzFdo48qKOD tW4+L6LU46LvYyFvkLeiVYeTeXYoGP3eRGa9BIg1t3MsgErfZUrhcElvxCHruHvM wjDnI2mXK+Ycaj9OF91MNIpVrOwo15mKwtXQWdvVL8FxqPGb6mU= =/sVi -----END PGP SIGNATURE----- --kGEoXzMamXQA6GxC-- From debbugs-submit-bounces@debbugs.gnu.org Fri Apr 01 02:33:01 2022 Received: (at 54615-done) by debbugs.gnu.org; 1 Apr 2022 06:33:01 +0000 Received: from localhost ([127.0.0.1]:40667 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1naAqD-00041o-HC for submit@debbugs.gnu.org; Fri, 01 Apr 2022 02:33:01 -0400 Received: from mugam.systemreboot.net ([139.59.75.54]:51828) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1naAqA-00041Y-Jr for 54615-done@debbugs.gnu.org; Fri, 01 Apr 2022 02:33:00 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=systemreboot.net; s=default; h=Content-Type:MIME-Version:Message-ID:Date: References:In-Reply-To:Subject:Cc:To:From:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=fhYrHijF2RfTyO1AZB2r/GqUPRh1XqYgDojOBRU3m4E=; b=nlA4C/Znjik7w7+Rn99JwsgdQF gMA1I2mLfkSzXQRFGlwmrnUF1hpWTDIKLk24rJ7NZPo8Ebv3SyEYwF3OOreFLyUZmPZNGYZZ9KVUY diuj+sa113tWp4pviVNIP1dQ4sYJjw8RoqAJpggEVS63ah51x3l3SaHgACwPrsiz+S37AL2D40oOV 2KcLaCtJol6N5z+hhqjvakxD5jEpkFt81XFKmn3VJNepVjbiPN/qNFccC07eu2tiDROJ7BLDKhlp+ xytMfk2tlXa1MMqJ6quY29AoseZOqvWNzaWUvEAZQEdNPSVWLIBiPsPs/fJ1UZIhRDUGyWse8DMS2 GJww97bA==; Received: from [192.168.2.1] (port=41912 helo=steel) by systemreboot.net with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.95) (envelope-from ) id 1naAq6-000Wvp-PF; Fri, 01 Apr 2022 12:02:54 +0530 From: Arun Isaac To: Efraim Flashner Subject: Re: [PATCH v3 2/2] gnu: Add riscv-pk. In-Reply-To: References: <73d7e30a2341d85c58abcf293d41aaa970ba17bd.camel@telenet.be> <20220329104303.31212-2-arunisaac@systemreboot.net> Date: Fri, 01 Apr 2022 12:02:54 +0530 Message-ID: <87sfqx8ga1.fsf@systemreboot.net> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 54615-done Cc: Maxime Devos , 54615-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) > Thanks for the patches. Does it make sense to wrap spike with > riscv-pk? > > I'm not sure how much spike is used without pk. I see and feel your pain. :-P But, maybe it's best to not make that assumption. I don't know enough about riscv-pk to say for sure. The better solution may be for spike to look in $PATH when trying to run a program. I have asked for this upstream: https://github.com/riscv-software-src/riscv-isa-sim/issues/961 Thank you both for reviewing and merging these patches! From unknown Mon Jun 16 23:39:32 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 29 Apr 2022 11:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator