Permalink
Browse files

linux_rpi: 1.20180619 -> 1.20180817

  • Loading branch information...
dezgeg committed Sep 13, 2018
1 parent 14fbea9 commit 9f8516745575c07ab07419aa30e6bb77b41fcd66
Showing with 3 additions and 3 deletions.
  1. +3 −3 pkgs/os-specific/linux/kernel/linux-rpi.nix
@@ -1,8 +1,8 @@
{ stdenv, buildPackages, fetchFromGitHub, perl, buildLinux, ... } @ args:
let
modDirVersion = "4.14.50";
tag = "1.20180619";
modDirVersion = "4.14.62";
tag = "1.20180817";
in
stdenv.lib.overrideDerivation (buildLinux (args // rec {
version = "${modDirVersion}-${tag}";
@@ -12,7 +12,7 @@ stdenv.lib.overrideDerivation (buildLinux (args // rec {
owner = "raspberrypi";
repo = "linux";
rev = "raspberrypi-kernel_${tag}-1";
sha256 = "0yccz8j3vrzv6h23b7yn7dx84kkzq3dmicm3shhz18nkpyyq71ch";
sha256 = "17k7c9hcp834qmlpllag8jc6xhym9wkr5lck1vr0y2wlcxccwnaz";
};
defconfig = {

0 comments on commit 9f85167

Please sign in to comment.