public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Adding the firmware files for raspberrypi

Browse Source
This commit is contained in:
Lluís Batlle i Rossell 2013-01-27 17:49:02 +00:00
parent 3b26ba7019
commit a87fba9619
2 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
pkgs/os-specific/linux/firmware/raspberrypi/default.nix Normal file
View File

@ -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";
};
}

2
pkgs/top-level/all-packages.nix
View File

@ -6230,6 +6230,8 @@ let
radeonR600 = callPackage ../os-specific/linux/firmware/radeon-r600 { }; radeonR600 = callPackage ../os-specific/linux/firmware/radeon-r600 { };
radeonJuniper = callPackage ../os-specific/linux/firmware/radeon-juniper { }; radeonJuniper = callPackage ../os-specific/linux/firmware/radeon-juniper { };
raspberrypifw = callPackage ../os-specific/linux/firmware/raspberrypi {};
regionset = callPackage ../os-specific/linux/regionset { }; regionset = callPackage ../os-specific/linux/regionset { };
rfkill = callPackage ../os-specific/linux/rfkill { }; rfkill = callPackage ../os-specific/linux/rfkill { };