From 2fab6b8ec04ee0a171b74e867ef955ae4a58b457 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Thu, 19 Sep 2024 11:01:48 +0200
Subject: [PATCH] Update bitstream to ox_u55c_87a14c32

This bitstream attempts to fix the PLIC issues with the threshold
register, so we should see the PLIC tests success now.

See: https://gitlab.bsc.es/hwdesign/fpga/integration-lab/fpga-shell/-/issues/147
---
 lagarto-ox.nix | 2 +-
 overlay.nix    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index 853b52f..94710ee 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -387,7 +387,7 @@
     };
 
     #bitstream = "${final.bitstreams}/lagarto-3-ox/gold.bit";
-    bitstream = "${final.bitstreams}/lagarto-3-ox/ox_u55c_450d0ff0_fix_delegation_v2.bit";
+    bitstream = "${final.bitstreams}/lagarto-3-ox/ox_u55c_87a14c32_fix_threshold.bit";
 
     bootrom = "${final.rbootrom}/rbootrom.bin";
 
diff --git a/overlay.nix b/overlay.nix
index c88a431..9c9ffe7 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -29,7 +29,7 @@ final: prev:
 
   bitstreams = builtins.fetchGit {
     url = "git@bscpm03.bsc.es:rarias/bitstreams.git";
-    rev = "097dad3e888f630ad6ec7e7056ee1b3fcb03400b";
+    rev = "2f899627a226890c6f9820aa44e34c2ecea03faf";
   };
 
   # Baremetal tests for standalone FPGA