···

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

     

       
28
       
28
       
 
       


     

       
29
       
29
       
 
       
  boot.kernelPackages = pkgs.linuxPackages_latest;

     

       
30
       
30
       
-
       
  # Increase the amount of CMA to ensure the virtual console on the RPi3 works.

     

       
31
       
31
       
-
       
  boot.kernelParams = ["cma=32M" "console=ttyS0,115200n8" "console=tty0"];

     

       
32
       
32
       
-
       
  boot.consoleLogLevel = 7;

     

       
30
       
30
       
+
       


     

       
31
       
31
       
+
       
  # The serial ports listed here are:

     

       
32
       
32
       
+
       
  # - ttyS0: for Tegra (Jetson TX1)

     

       
33
       
33
       
+
       
  # - ttyAMA0: for QEMU's -machine virt

     

       
34
       
34
       
+
       
  # Also increase the amount of CMA to ensure the virtual console on the RPi3 works.

     

       
35
       
35
       
+
       
  boot.kernelParams = ["cma=32M" "console=ttyS0,115200n8" "console=ttyAMA0,115200n8" "console=tty0"];

     

       
33
       
36
       
 
       


     

       
34
       
37
       
 
       
  # FIXME: this probably should be in installation-device.nix

     

       
35
       
38
       
 
       
  users.extraUsers.root.initialHashedPassword = "";