pi4 edk2 builds

2026-01-13 14:54:55 -06:00
parent 1dc075f405
commit a7c25fe70d
4 changed files with 70 additions and 63 deletions
--- a/modules/nixos/hardware/raspberry-pi/default.nix
+++ b/modules/nixos/hardware/raspberry-pi/default.nix
@@ -153,7 +153,7 @@ let
  uefiBuilder = import ./uefi-builder.nix {
    inherit pkgs;
    uefiPackage = (
-      if (cfg.variant == "5") then pkgs.${namespace}.uefi-rpi5 else pkgs.${namespace}.uefi-rpi4
+      if (cfg.variant == "5") then pkgs.${namespace}.uefi-rpi5 else pkgs.${namespace}.edk2.override { MODEL = "4"; }
    );
    firmwareBuilder = firmwarePopulateCmd;
  };