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: {