···

       
12
       
12
       
 
       
    inherit (config.boot.loader.generationsDir) copyKernels;

     

       
13
       
13
       
 
       
  };

     

       
14
       
14
       
 
       


     

       
15
       
15
       
-
       
  # Temporary check, for nixos to cope both with nixpkgs stdenv-updates and trunk

     

       
16
       
16
       
-
       
  inherit (pkgs.stdenv.hostPlatform) platform;

     

       
17
       
17
       
-
       


     

       
18
       
15
       
 
       
in

     

       
19
       
16
       
 
       


     

       
20
       
17
       
 
       
{

     
···

       
59
       
56
       
 
       


     

       
60
       
57
       
 
       
    system.build.installBootLoader = generationsDirBuilder;

     

       
61
       
58
       
 
       
    system.boot.loader.id = "generationsDir";

     

       
62
       
62
       
-
       
    system.boot.loader.kernelFile = linux-kernel.target;

     

       
59
       
59
       
+
       
    system.boot.loader.kernelFile = pkgs.stdenv.hostPlatform.linux-kernel.target;

     

       
63
       
60
       
 
       


     

       
64
       
61
       
 
       
  };

     

       
65
       
62
       
 
       
}

     

···

       
5
       
5
       
 
       
let

     

       
6
       
6
       
 
       
  cfg = config.boot.loader.raspberryPi;

     

       
7
       
7
       
 
       


     

       
8
       
8
       
-
       
  inherit (pkgs.stdenv.hostPlatform) platform;

     

       
9
       
9
       
-
       


     

       
10
       
8
       
 
       
  builderUboot = import ./uboot-builder.nix { inherit pkgs configTxt; inherit (cfg) version; };

     

       
11
       
9
       
 
       
  builderGeneric = import ./raspberrypi-builder.nix { inherit pkgs configTxt; };

     

       
12
       
10
       
 
       


     
···

       
102
       
100
       
 
       


     

       
103
       
101
       
 
       
    system.build.installBootLoader = builder;

     

       
104
       
102
       
 
       
    system.boot.loader.id = "raspberrypi";

     

       
105
       
105
       
-
       
    system.boot.loader.kernelFile = linux-kernel.target;

     

       
103
       
103
       
+
       
    system.boot.loader.kernelFile = pkgs.stdenv.hostPlatform.linux-kernel.target;

     

       
106
       
104
       
 
       
  };

     

       
107
       
105
       
 
       
}