nixpkgs/pkgs/os-specific/linux/firmware/raspberrypi/default.nix
Lluís Batlle i Rossell d8a2bb86c0 Raspberry Pi 2 changes to make it boot.
It boots, but some things still don't work:
1) Installation of DTBs
2) Boot of initrd

Booting still needs a proper config.txt in /boot, which could probably be
managed by NixOS.
2015-05-09 17:05:24 +00:00

28 lines
668 B
Nix

{stdenv, fetchurl }:
let
rev = "b7bbd3d1683e9f3bb11ef86b952adee71e83862f";
in stdenv.mkDerivation {
name = "raspberrypi-firmware-${rev}";
src = fetchurl {
url = "https://github.com/raspberrypi/firmware/archive/${rev}.tar.gz";
sha256 = "16wpwa1y3imd3la477b3rfbfypssvlh0zjdag3hgkm33aysizijp";
};
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 = stdenv.lib.licenses.unfree;
};
}