From 98d04ee398e76f3af54ab3047736d5a71ff0e807 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 19 Jan 2024 16:32:40 +0100
Subject: [PATCH] Also build u-boot ELF file for debugging

---
 overlay.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/overlay.nix b/overlay.nix
index bab8497..112ca8f 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -27,6 +27,8 @@ final: prev:
       CONFIG_PREBOOT="setenv fdt_addr ''${fdtcontroladdr}; fdt addr ''${fdtcontroladdr}; setenv bootcmd booti ''${kernel_addr_r} - ''${fdtcontroladdr};"
       CONFIG_RISCV_ISA_C=n
     '';
+    # Also include debug u-boot
+    filesToInstall = ["u-boot.bin" "u-boot"];
   };
 
   opensbi-uboot = prev.opensbi.overrideAttrs (old: {