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