Override spike from upstream package, change output to spike-ibex-cosim

pkgs/default.nix

@@ -12,8 +12,7 @@
   verilator_ot = import ./verilator {inherit pkgs;};
   python_ot = pkgs.callPackage ./python_ot {inherit inputs;};
   bazel_ot = pkgs.callPackage ./bazel_ot {};
-  ibex-cosim = pkgs.callPackage ./ibex-cosim.nix {};
-
+  spike-ibex-cosim = pkgs.callPackage ./spike.nix {};
   llvm_cheriot = pkgs.callPackage ./llvm_cheriot.nix {};
   xmake = import ./xmake.nix {inherit pkgs;};
   cheriot-sim = pkgs.callPackage ./cheriot-sim.nix {};

pkgs/spike.nix

@@ -0,0 +1,19 @@
+# Copyright lowRISC contributors.
+#
+# SPDX-License-Identifier: MIT
+{
+  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"];
+})