linux-hardkernel: 4.14.47-139 -> 4.14.55-146. Additionally, use vendor defconfig.

qolii · qolii · commit 5ac733495068 · 2018-07-16T12:34:30.000-07:00
diff --git a/pkgs/os-specific/linux/kernel/linux-hardkernel-4.14.nix b/pkgs/os-specific/linux/kernel/linux-hardkernel-4.14.nix
@@ -1,10 +1,10 @@
 { stdenv, buildPackages, hostPlatform, fetchFromGitHub, perl, buildLinux, libelf, utillinux, ... } @ args:
 
 buildLinux (args // rec {
-  version = "4.14.47-139";
+  version = "4.14.55-146";
 
   # modDirVersion needs to be x.y.z.
-  modDirVersion = "4.14.47";
+  modDirVersion = "4.14.55";
 
   # branchVersion needs to be x.y. 
   extraMeta.branch = "4.14";
@@ -13,7 +13,19 @@ buildLinux (args // rec {
     owner = "hardkernel";
     repo = "linux";
     rev = version;
-    sha256 = "0jjgrmvi1h8zs8snnvghnjd422yfmn7jv9y1n7xikmfv4nvwqrkv";
+    sha256 = "1bm1njng4rwfylgnqv06vabkvybm9rikqj1lsb7p9qcs3y1kw6mh";
   };
 
+  defconfig = "odroidxu4_defconfig";
+
+  # This extraConfig is (only) required because the gator module fails to build as-is.
+  extraConfig = ''
+
+    GATOR n
+
+    # This attempted fix applies correctly but does not fix the build.
+    #GATOR_MALI_MIDGARD_PATH ${src}/drivers/gpu/arm/midgard
+
+  '' + (args.extraConfig or "");
+
 } // (args.argsOverride or {}))
