···

       
1
       
-
       
{ config, ... }:

     

       
2
       
-
       
{

     

       
3
       
-
       
  imports = [

     

       
4
       
-
       
    ../sd-card/sd-image-raspberrypi4-installer.nix

     

       
5
       
-
       
  ];

     

       
6
       
-
       
  config = {

     

       
7
       
-
       
    warnings = [

     

       
8
       
-
       
      ''

     

       
9
       
-
       
      .../cd-dvd/sd-image-raspberrypi4.nix is deprecated and will eventually be removed.

     

       
10
       
-
       
      Please switch to .../sd-card/sd-image-raspberrypi4-installer.nix, instead.

     

       
11
       
-
       
      ''

     

       
12
       
-
       
    ];

     

       
13
       
-
       
  };

     

       
14
       
-
       
}

     

···

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

···

       
1
       
-
       
{

     

       
2
       
-
       
  imports = [

     

       
3
       
-
       
    ../../profiles/installation-device.nix

     

       
4
       
-
       
    ./sd-image-raspberrypi4.nix

     

       
5
       
-
       
  ];

     

       
6
       
-
       


     

       
7
       
-
       
  # the installation media is also the installation target,

     

       
8
       
-
       
  # so we don't want to provide the installation configuration.nix.

     

       
9
       
-
       
  installer.cloneConfig = false;

     

       
10
       
-
       
}

     

···

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

···

       
1
       
-
       
# To build, use:

     

       
2
       
-
       
# nix-build nixos -I nixos-config=nixos/modules/installer/sd-card/sd-image-raspberrypi4.nix -A config.system.build.sdImage

     

       
3
       
-
       
{ config, lib, pkgs, ... }:

     

       
4
       
-
       


     

       
5
       
-
       
{

     

       
6
       
-
       
  imports = [ ./sd-image-aarch64.nix ];

     

       
7
       
-
       
  boot.kernelPackages = pkgs.linuxPackages_rpi4;

     

       
8
       
-
       
}

     

···

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

···

       
186
       
 
       
    inherit system;

     

       
187
       
 
       
  });

     

       
188
       
 
       


     

       
189
       
-
       
  sd_image_raspberrypi4 = forMatchingSystems [ "aarch64-linux" ] (system: makeSdImage {

     

       
190
       
-
       
    module = ./modules/installer/sd-card/sd-image-raspberrypi4-installer.nix;

     

       
191
       
-
       
    inherit system;

     

       
192
       
-
       
  });

     

       
193
       
-
       


     

       
194
       
 
       
  # A bootable VirtualBox virtual appliance as an OVA file (i.e. packaged OVF).

     

       
195
       
 
       
  ova = forMatchingSystems [ "x86_64-linux" ] (system:

     

       
196
       
 
       


     

···

       
186
       
 
       
    inherit system;

     

       
187
       
 
       
  });

     

       
188
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
189
       
 
       
  # A bootable VirtualBox virtual appliance as an OVA file (i.e. packaged OVF).

     

       
190
       
 
       
  ova = forMatchingSystems [ "x86_64-linux" ] (system:

     

       
191