device-tree_rpi: update meta data

wip/yesman
Markus Kowalewski 4 years ago
parent b3251e04ee
commit 68ec5811d1
No known key found for this signature in database
GPG Key ID: D865C8A91D7025EB
  1. 3
      pkgs/os-specific/linux/device-tree/raspberrypi.nix

@ -31,6 +31,7 @@ stdenvNoCC.mkDerivation {
overlays = "${raspberrypifw}/share/raspberrypi/boot/overlays";
};
meta = with stdenvNoCC.lib; {
platforms = [ "armv6l-linux" "armv7l-linux" "aarch64-linux" ];
inherit (raspberrypifw.meta) platforms homepage license;
description = "DTBs for the Raspberry Pi";
};
}

Loading…
Cancel
Save