From 2371ac2fdab95d6908a589195a8a24db3189d96e Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 23 Aug 2024 16:06:21 +0200
Subject: [PATCH] Switch to rbootrom

---
 lagarto-ox.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index fda6afb..b4edb65 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -207,7 +207,7 @@
     #bitstream = "${final.bitstreams}/lagarto-3-ox/gold.bit";
     bitstream = "${final.bitstreams}/lagarto-3-ox/ox_u55c_f6b4a076_fix_delegation.bit";
 
-    bootrom = "${final.bitstreams}/lagarto-3-ox/large_bootrom.bin";
+    bootrom = "${final.rbootrom}/rbootrom.bin";
 
     uboot = prev.ubootQemuRiscv64Smode.override {
       filesToInstall = [ "u-boot-nodtb.bin" ];