···

       
232
       
232
       
 
       
    system.boot.loader.kernelFile = "bzImage";

     

       
233
       
233
       
 
       
    environment.systemPackages = [ pkgs.grub2 pkgs.grub2_efi pkgs.syslinux ];

     

       
234
       
234
       
 
       


     

       
235
       
235
       
-
       
    boot.consoleLogLevel = mkDefault 7;

     

       
236
       
236
       
-
       


     

       
237
       
235
       
 
       
    # In stage 1 of the boot, mount the CD as the root FS by label so

     

       
238
       
236
       
 
       
    # that we don't need to know its device.  We pass the label of the

     

       
239
       
237
       
 
       
    # root filesystem on the kernel command line, rather than in

     

···

       
27
       
27
       
 
       


     

       
28
       
28
       
 
       
  boot.kernelPackages = pkgs.linuxPackages_latest;

     

       
29
       
29
       
 
       
  boot.kernelParams = ["console=ttyS0,115200n8" "console=ttymxc0,115200n8" "console=ttyAMA0,115200n8" "console=ttyO0,115200n8" "console=tty0"];

     

       
30
       
30
       
-
       
  boot.consoleLogLevel = 7;

     

       
31
       
30
       
 
       


     

       
32
       
31
       
 
       
  # FIXME: this probably should be in installation-device.nix

     

       
33
       
32
       
 
       
  users.extraUsers.root.initialHashedPassword = "";

     

···

       
26
       
26
       
 
       
  boot.loader.generic-extlinux-compatible.enable = true;

     

       
27
       
27
       
 
       


     

       
28
       
28
       
 
       
  boot.kernelPackages = pkgs.linuxPackages_rpi;

     

       
29
       
29
       
-
       
  boot.consoleLogLevel = 7;

     

       
30
       
29
       
 
       


     

       
31
       
30
       
 
       
  # FIXME: this probably should be in installation-device.nix

     

       
32
       
31
       
 
       
  users.extraUsers.root.initialHashedPassword = "";

     

···

       
30
       
30
       
 
       
    system.boot.loader.kernelFile = "bzImage";

     

       
31
       
31
       
 
       
    environment.systemPackages = [ pkgs.grub2 pkgs.grub2_efi pkgs.syslinux ];

     

       
32
       
32
       
 
       


     

       
33
       
33
       
-
       
    boot.consoleLogLevel = mkDefault 7;

     

       
34
       
34
       
-
       


     

       
35
       
33
       
 
       
    fileSystems."/" =

     

       
36
       
34
       
 
       
      { fsType = "tmpfs";

     

       
37
       
35
       
 
       
        options = [ "mode=0755" ];

     

···

       
70
       
70
       
 
       
    # the initrd builder.

     

       
71
       
71
       
 
       
    system.extraDependencies = [ pkgs.stdenv pkgs.busybox pkgs.perlPackages.ArchiveCpio ];

     

       
72
       
72
       
 
       


     

       
73
       
73
       
+
       
    # Show all debug messages from the kernel but don't log refused packets

     

       
74
       
74
       
+
       
    # because we have the firewall enabled. This makes installs from the

     

       
75
       
75
       
+
       
    # console less cumbersome if the machine has a public IP.

     

       
76
       
76
       
+
       
    boot.consoleLogLevel = mkDefault 7;

     

       
77
       
77
       
+
       
    networking.firewall.logRefusedConnections = mkDefault false;

     

       
78
       
78
       
+
       


     

       
73
       
79
       
 
       
  };

     

       
74
       
80
       
 
       
}