tjh.dev
1{ stdenv, buildPackages, fetchFromGitHub, perl, buildLinux, libelf, utillinux, ... } @ args:
2
3buildLinux (args // rec {
4 version = "4.14.120-160";
5
6 # modDirVersion needs to be x.y.z.
7 modDirVersion = "4.14.120";
8
9 # branchVersion needs to be x.y.
10 extraMeta.branch = "4.14";
11
12 src = fetchFromGitHub {
13 owner = "hardkernel";
14 repo = "linux";
15 rev = version;
16 sha256 = "0sb7k8kpbm4h98jsqjnjmj0ysp55n9cpczpw0jsg0x0sj9qp73nr";
17 };
18
19 defconfig = "odroidxu4_defconfig";
20
21 # This extraConfig is (only) required because the gator module fails to build as-is.
22 extraConfig = ''
23
24 GATOR n
25
26 # This attempted fix applies correctly but does not fix the build.
27 #GATOR_MALI_MIDGARD_PATH ${src}/drivers/gpu/arm/midgard
28
29 '' + (args.extraConfig or "");
30
31 extraMeta.platforms = [ "armv7l-linux" ];
32
33} // (args.argsOverride or {}))