gistfile1.txt

{ stdenv, hostPlatform, fetchgit, perl, buildLinux, ... } @ args:

import <nixpkgs>/pkgs/os-specific/linux/kernel/generic.nix (args // rec {
  version = "4.13.3";
  extraMeta.branch = "4.13";

  src = fetchgit {
    url = "git://people.freedesktop.org/~agd5f/linux";
    rev = "dcae401d111324489c066aa57ed9c77b97b475f9";
    sha256 = "1ayai3i0jakxzszpijhknjiwwi055wa74bpmnr0n7dh2l5s2rlh3";
  };
} // (args.argsOverride or {}))