nixpkgs/pkgs/os-specific/linux/firmware/raspberrypi
Tuomas Tynkkynen d8cd615720 raspberrypifw: 1.20160315 -> 1.20160620
- Use fetchFromGitHub
- Some files in bin/ are now shell scripts, so skip patchelf on any
  non-ELF files.

With this U-Boot can be successfully launched on a RPi 3.
2016-07-04 01:53:13 +03:00
..
default.nix raspberrypifw: 1.20160315 -> 1.20160620 2016-07-04 01:53:13 +03:00