John Ericson
3f30cffa55
misc pkgs: Use $NIX_BINUTILS for when needed
...
Certain files are now only there instead of $NIX_CC (some are in both)
2017-09-01 11:44:55 -04:00
Tuomas Tynkkynen
b1749aecbe
raspberrypifw: 1.20170515 -> 1.20170515n
2017-08-29 02:37:38 +03:00
Tuomas Tynkkynen
8523ab5e8d
raspberrypifw: 1.20170427 -> 1.20170515
2017-07-31 19:47:23 +03:00
Tuomas Tynkkynen
f2e2dde681
raspberrypifw: 1.20170303 -> 1.20170427
2017-05-15 11:14:59 +03:00
Tuomas Tynkkynen
5f5b87107f
raspberrypifw, linux_rpi: 1.20161020 -> 1.20170303
2017-03-08 21:35:31 +02:00
Tuomas Tynkkynen
3519244c72
raspberrypifw: Enable build on Aarch64
...
So that the boot blobs can be copied.
FIXME: This makes the dynamic linker of the ARM binaries point to a
aarch64 linker.
2017-01-25 00:01:54 +02:00
Tuomas Tynkkynen
25d6bfa258
raspberrypifw: 1.20160620 -> 1.20161020
2016-11-28 00:23:40 +02:00
Octavian Cerna
938b993091
raspberrypifw: Don't strip ELF files
...
Stripping breaks raspivid and other executables.
2016-08-30 17:34:16 +03:00
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
Octavian Cerna
1e37217b80
raspberrypi-firmware: 20150506 -> 1.20160315 ( #14300 )
...
Cleanup the meta section, add viric and myself as maintainers.
2016-04-13 20:02:57 +01:00
Octavian Cerna
e714c80497
raspberrypifw: Patch the ELF binaries to set the correct dynamic linker and RPATH.
2016-03-08 19:56:22 +02:00
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
Mateusz Kowalczyk
007f80c1d0
Turn more licenses into lib.licenses style
...
Should eval cleanly, as far as -A tarball tells me.
Relevant: issue #2999 , issue #739
2014-11-06 00:48:16 +00:00
Rickard Nilsson
38ba397afd
raspberrypi-firmware: Update to latest version as of 20130826 (rev 3ab17ac25e)
2013-08-27 12:30:47 +02:00
Lluís Batlle i Rossell
a87fba9619
Adding the firmware files for raspberrypi
2013-01-27 17:49:02 +00:00
