From ef29bb068125adb1cc6087526097d86587f4edbc Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Mon, 4 Mar 2024 18:26:48 +0100
Subject: [PATCH] Fix uboot attribute name in lagarto hun

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

diff --git a/lagarto-hun.nix b/lagarto-hun.nix
index 3a1679e..4760e05 100644
--- a/lagarto-hun.nix
+++ b/lagarto-hun.nix
@@ -54,7 +54,7 @@ let
           "PLATFORM_RISCV_ISA=rv64g"
           "PLATFORM=fpga/openpiton"
           # Check with: riscv64-unknown-elf-objdump -d -M no-aliases rotate
-          "FW_PAYLOAD_PATH=${final.uboot-fpga}/u-boot-nodtb.bin"
+          "FW_PAYLOAD_PATH=${final.uboot}/u-boot-nodtb.bin"
       ];
     });
   };