Override spike from upstream package, change output to spike

lowRISC · Jan 23, 2024 · dc0e00b · dc0e00b
1 parent b140867
commit dc0e00b
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 29 deletions.
diff --git a/pkgs/default.nix b/pkgs/default.nix
@@ -13,7 +13,7 @@
   python_ot = pkgs.callPackage ./python_ot {inherit inputs;};
   bazel_ot = pkgs.callPackage ./bazel_ot {};
   llvm_cheriot = pkgs.callPackage ./llvm_cheriot.nix {};
-  ibex-cosim = pkgs.callPackage ./ibex-cosim.nix {};
+  spike_ibex_cosim = pkgs.callPackage ./spike.nix {};
 }
 // pkgs.lib.optionalAttrs (pkgs.system == "x86_64-linux") {
   lowrisc-toolchain-gcc-rv32imcb = pkgs.callPackage ./lowrisc-toolchain-gcc-rv32imcb.nix {};

diff --git a/pkgs/ibex-cosim.nix b/pkgs/ibex-cosim.nix
diff --git a/pkgs/spike.nix b/pkgs/spike.nix
@@ -0,0 +1,16 @@
+{
+  fetchFromGitHub,
+  spike,
+}:
+# The lowRISC Ibex processor (https://github.com/lowRISC/ibex) uses a fork of
+# spike as an Instruction Set Simulator (ISS) for a cosimulation testbench in
+# its Design Verification (DV) environment.
+spike.overrideAttrs (_: prev: {
+  src = fetchFromGitHub {
+    owner = "lowRISC";
+    repo = "riscv-isa-sim";
+    rev = "ibex-cosim-v0.5";
+    sha256 = "sha256-LK/IXmRHrGxaMRudcUYmeZV5eXU8eH7ruIw7kliumdY=";
+  };
+  configureFlags = (prev.configureFlags or []) ++ ["--enable-commitlog" "--enable-misaligned"];
+})