Merge pull request #84732 from cleverca22/fix-rpi-platforms

device-tree_rpi: fix platforms
2020-04-08 12:43:30 -04:00
parent b955b22b22 70308c5c56
commit ab931c607b
1 changed files with 3 additions and 0 deletions
--- a/pkgs/os-specific/linux/device-tree/raspberrypi.nix
+++ b/pkgs/os-specific/linux/device-tree/raspberrypi.nix
@@ -30,4 +30,7 @@ stdenvNoCC.mkDerivation {
    # Compatible overlays that may be used
    overlays = "${raspberrypifw}/share/raspberrypi/boot/overlays";
  };
+  meta = with stdenvNoCC.lib; {
+    platforms = [ "armv6l-linux" "armv7l-linux" "aarch64-linux" ];
+  };
 }