nixos/sd-image-*: Raspberry Pi firmware no longer falls under unfree

It's just unfreeRedistributableFirmware now.
6 years ago · 1e5cb384d5
parent b59f9497aa
commit 1e5cb384d5
3 changed files with 0 additions and 9 deletions
--- a/nixos/modules/installer/cd-dvd/sd-image-aarch64.nix
+++ b/nixos/modules/installer/cd-dvd/sd-image-aarch64.nix
@ -21,9 +21,6 @@ in
      "it cannot be cross compiled";
  };

-  # Needed by RPi firmware
-  nixpkgs.config.allowUnfree = true;
-
  boot.loader.grub.enable = false;
  boot.loader.generic-extlinux-compatible.enable = true;

--- a/nixos/modules/installer/cd-dvd/sd-image-armv7l-multiplatform.nix
+++ b/nixos/modules/installer/cd-dvd/sd-image-armv7l-multiplatform.nix
@ -21,9 +21,6 @@ in
      "it cannot be cross compiled";
  };

-  # Needed by RPi firmware
-  nixpkgs.config.allowUnfree = true;
-
  boot.loader.grub.enable = false;
  boot.loader.generic-extlinux-compatible.enable = true;

--- a/nixos/modules/installer/cd-dvd/sd-image-raspberrypi.nix
+++ b/nixos/modules/installer/cd-dvd/sd-image-raspberrypi.nix
@ -21,9 +21,6 @@ in
      "it cannot be cross compiled";
  };

-  # Needed by RPi firmware
-  nixpkgs.config.allowUnfree = true;
-
  boot.loader.grub.enable = false;
  boot.loader.generic-extlinux-compatible.enable = true;