Use custom u-boot build

2024-01-18 17:58:00 +01:00
parent 5dbb297adf
commit 2f387d3362
2 changed files with 17 additions and 1 deletions
--- a/flake.nix
+++ b/flake.nix
@@ -54,7 +54,8 @@
      buildInputs = with pkgs; [ qemu ];
      # Here we tell the run script where to find the system
      NIXOS_SYSTEM_TOPLEVEL = toplevel;
-      OPENSBI = syspkgs.opensbi;
+      OPENSBI = syspkgs.opensbi-uboot;
+      #OPENSBI = syspkgs.opensbi;
    };
  };
 }