public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

linux_rpi: 1.20190906 -> 1.20190925

Browse Source
This commit is contained in:
Edmund Wu 2019-10-01 08:41:40 -04:00
parent 4b7cac98a1
commit 436d94feea
No known key found for this signature in database
GPG Key ID: 76AA3F9F2BD3E3A0
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/os-specific/linux/kernel/linux-rpi.nix
View File

@ -1,8 +1,8 @@
{ stdenv, lib, buildPackages, fetchFromGitHub, perl, buildLinux, rpiVersion, ... } @ args: { stdenv, lib, buildPackages, fetchFromGitHub, perl, buildLinux, rpiVersion, ... } @ args:
let let
modDirVersion = "4.19.71"; modDirVersion = "4.19.75";
tag = "1.20190906"; tag = "1.20190925";
in in
lib.overrideDerivation (buildLinux (args // { lib.overrideDerivation (buildLinux (args // {
version = "${modDirVersion}-${tag}"; version = "${modDirVersion}-${tag}";
@ -11,8 +11,8 @@ lib.overrideDerivation (buildLinux (args // {
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "raspberrypi"; owner = "raspberrypi";
repo = "linux"; repo = "linux";
rev = "9532eb3c84d8d952ef28da3d135683ac01adc9b8"; rev = "raspberrypi-kernel_${tag}-1";
sha256 = "0168wz8kkdzbyha41iqlgn1z1kcy4smg89rgxkgadzq78y7fglpl"; sha256 = "0l91kb4jjxg4fcp7d2aqm1fj34ns137rys93k907mdgnarcliafs";
}; };
defconfig = { defconfig = {