diff options
Diffstat (limited to 'pkgs/os-specific/linux/firmware/raspberrypi')
-rw-r--r-- | pkgs/os-specific/linux/firmware/raspberrypi/default.nix | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/pkgs/os-specific/linux/firmware/raspberrypi/default.nix b/pkgs/os-specific/linux/firmware/raspberrypi/default.nix new file mode 100644 index 00000000000..02d7194b500 --- /dev/null +++ b/pkgs/os-specific/linux/firmware/raspberrypi/default.nix @@ -0,0 +1,23 @@ +{stdenv, fetchurl }: + +stdenv.mkDerivation { + name = "raspberrypi-firmware-20160106"; + + src = fetchurl { + url = "https://github.com/raspberrypi/firmware/archive/4ade27942e.tar.gz"; + sha256 = "0f4p920vr7dcj4hprgil8baqqbnsjx1jykz0pkdx29mqy0n0xanl"; + }; + + installPhase = '' + mkdir -p $out/share/raspberrypi/boot + cp -R boot/* $out/share/raspberrypi/boot + cp -R hardfp/opt/vc/* $out + cp opt/vc/LICENCE $out/share/raspberrypi + ''; + + meta = { + description = "Firmware for the Raspberry Pi board"; + homepage = https://github.com/raspberrypi; + license = "non-free"; + }; +} |