summaryrefslogtreecommitdiff
path: root/riscv.scm
diff options
context:
space:
mode:
Diffstat (limited to 'riscv.scm')
-rw-r--r--riscv.scm29
1 files changed, 29 insertions, 0 deletions
diff --git a/riscv.scm b/riscv.scm
new file mode 100644
index 0000000..75c1610
--- /dev/null
+++ b/riscv.scm
@@ -0,0 +1,29 @@
+(define-module (riscv)
+ #:use-module (guix packages)
+ #:use-module (guix git-download)
+ #:use-module ((guix licenses) #:prefix license:)
+ #:use-module (guix build-system gnu)
+ #:use-module (gnu packages bootloaders) ; For spike
+ )
+
+
+(define-public spike
+ (package
+ (name "spike")
+ (version "1.1.0")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/riscv/riscv-isa-sim.git")
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256 (base32 "0cik2m0byfp9ppq0hpg3xyrlp5ag1i4dww7a7872mlm36xxqagg0"))))
+
+ (propagated-inputs
+ `(("dtc" ,dtc)))
+ (build-system gnu-build-system)
+ (home-page "https://github.com/riscv/riscv-isa-sim")
+ (description "Spike, the RISC-V ISA Simulator, implements a functional
+model of one or more RISC-V harts.")
+ (synopsis "RISC-V ISA Simulator")
+ (license license:gpl3+)))