···

       
24
       
24
       
 
       


     

       
25
       
25
       
 
       
  boot.kernelPackages = pkgs.linuxPackages_latest;

     

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

     

       
27
       
27
       
+
       
  boot.consoleLogLevel = 7;

     

       
27
       
28
       
 
       


     

       
28
       
29
       
 
       
  # FIXME: this probably should be in installation-device.nix

     

       
29
       
30
       
 
       
  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;

     

       
29
       
30
       
 
       


     

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

     

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