From 178ca9ef136dd9a575c1fc20a701f84cf25b927b Mon Sep 17 00:00:00 2001 From: Ekaitz Zarraga Date: Sun, 13 Mar 2022 10:58:53 +0200 Subject: gnu: Add spike. * gnu/packages/virtualization.scm (spike): New variable. Signed-off-by: Efraim Flashner --- gnu/packages/virtualization.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/gnu/packages/virtualization.scm b/gnu/packages/virtualization.scm index 8098a0aec3..90472b9221 100644 --- a/gnu/packages/virtualization.scm +++ b/gnu/packages/virtualization.scm @@ -25,6 +25,7 @@ ;;; Copyright © 2021 Petr Hodina ;;; Copyright © 2021 Raghav Gururajan ;;; Copyright © 2022 Oleg Pykhalov +;;; Copyright © 2022 Ekaitz Zarraga ;;; ;;; This file is part of GNU Guix. ;;; @@ -52,6 +53,7 @@ #:use-module (gnu packages base) #:use-module (gnu packages bash) #:use-module (gnu packages bison) + #:use-module (gnu packages bootloaders) #:use-module (gnu packages build-tools) #:use-module (gnu packages check) #:use-module (gnu packages cluster) @@ -1017,6 +1019,29 @@ Guix to build virtual machines.") Debian or a derivative using @command{debootstrap}.") (license license:gpl2+))) +(define-public spike + (package + (name "spike") + (version "1.1.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/riscv-software-src/riscv-isa-sim") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0cik2m0byfp9ppq0hpg3xyrlp5ag1i4dww7a7872mlm36xxqagg0")))) + (build-system gnu-build-system) + (inputs + (list dtc)) + (native-inputs + (list python-wrapper)) + (home-page "https://github.com/riscv-software-src/riscv-isa-sim") + (synopsis "RISC-V ISA Simulator") + (description "Spike, the RISC-V ISA Simulator, implements a functional model +of one or more RISC-V harts.") + (license license:bsd-3))) + (define-public libosinfo (package (name "libosinfo") -- cgit v1.2.3