1{stdenv, fetchurl }:
2
3let
4
5 rev = "b7bbd3d1683e9f3bb11ef86b952adee71e83862f";
6
7in stdenv.mkDerivation {
8 name = "raspberrypi-firmware-${rev}";
9
10 src = fetchurl {
11 url = "https://github.com/raspberrypi/firmware/archive/${rev}.tar.gz";
12 sha256 = "16wpwa1y3imd3la477b3rfbfypssvlh0zjdag3hgkm33aysizijp";
13 };
14
15 installPhase = ''
16 mkdir -p $out/share/raspberrypi/boot
17 cp -R boot/* $out/share/raspberrypi/boot
18 cp -R hardfp/opt/vc/* $out
19 cp opt/vc/LICENCE $out/share/raspberrypi
20 '';
21
22 meta = {
23 description = "Firmware for the Raspberry Pi board";
24 homepage = https://github.com/raspberrypi;
25 license = stdenv.lib.licenses.unfree;
26 };
27}