3
0
Fork 0
forked from mirrors/nixpkgs

Merge pull request #58001 from lopsided98/linux-rpi-update

linux_rpi: 1.20180919 -> 1.20190215
This commit is contained in:
Renaud 2019-04-24 23:58:34 +02:00 committed by GitHub
commit 12b82b1a06
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,8 +1,8 @@
{ stdenv, lib, buildPackages, fetchFromGitHub, perl, buildLinux, ... } @ args:
let
modDirVersion = "4.14.70";
tag = "1.20180919";
modDirVersion = "4.14.98";
tag = "1.20190215";
in
lib.overrideDerivation (buildLinux (args // rec {
version = "${modDirVersion}-${tag}";
@ -12,7 +12,7 @@ lib.overrideDerivation (buildLinux (args // rec {
owner = "raspberrypi";
repo = "linux";
rev = "raspberrypi-kernel_${tag}-1";
sha256 = "1zjvzk6rhrn3ngc012gjq3v7lxn8hy89ljb7fqwld5g7py9lkf0b";
sha256 = "1gc4x7p82m2v1jhahhyl7qfdkflj71ly6p0fpc1vf9sk13hbwgj2";
};
defconfig = {