Ben Gamari
7a9b6ac39a
kernel: Enable cross compiling
2018-01-15 11:55:06 -05:00
Tuomas Tynkkynen
bf585f2881
linux_rpi: 1.20170811 -> 1.20171029
2017-11-06 20:49:48 +02:00
Jan Malakhovski
8525b78d05
linuxPackages: properly propagate features and extraConfig
...
`kernel.override { features = ... }` didn't work before, now it works as
expected.
2017-09-17 16:33:47 +02:00
Tuomas Tynkkynen
ff3f6f38c4
linux_rpi: 1.20170515 -> 1.20170811
2017-08-29 02:37:52 +03:00
Tuomas Tynkkynen
3db9a2bdff
linux_rpi: 1.20170427 -> 1.20170515
2017-07-31 19:47:23 +03:00
hsloan
459d07d41c
kernel generic: Don't use stdenv.cross
2017-06-28 20:22:59 -04:00
Tuomas Tynkkynen
a35ec5dda6
linux_rpi: 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
Franz Pletz
403fdd737e
linux: remove canDisableNetfilterConntrackHelpers feature
...
This feature is available in all kernels in nixpkgs.
2017-01-25 00:28:55 +01:00
Tuomas Tynkkynen
9ccc14b1bc
linux_rpi: Add some feature flags
...
Copied from linux_4_4 (except for the EFI stub thing).
Otherwise the firewall module fails to evaluate:
Failed assertions:
- This kernel does not support rpfilter
2016-12-04 18:18:06 +02:00
Tuomas Tynkkynen
86ea3126bc
linux_rpi: 1.20160620 -> 1.20161020
2016-11-28 00:24:00 +02:00
Tuomas Tynkkynen
55aecd308e
linux-rpi: 4.1.20-XXX -> 4.4.13-1.20160620-1
...
- Add a patch to unset CONFIG_LOCALVERSION in the v7 build.
- Copy all the device trees to match the upstream names so U-Boot can
find them. (This is a hack.)
2016-07-04 15:13:29 +03:00
Lluís Batlle i Rossell
40b0538239
Update linux raspberry-pi to 4.1.y.
...
I could boot it in pi2; I don't know if I needed new
firmware files in /boot.
2016-03-22 15:09:57 +01:00
Mathnerd314
eb7404d97a
all-packages: Use callPackage where possible
2015-09-14 22:27:19 -06:00
Tuomas Tynkkynen
ec43c69b5d
linux-rpi: Fix modDirVersion
...
This causes build breakage on staging due to #7524 .
2015-07-22 16:08:17 +03:00
Lluís Batlle i Rossell
56989d9f20
Updating the raspberry pi kernel sources to recent, for pi2
2015-03-05 09:09:32 +00:00
