···

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

     

       
28
       
28
       
 
       


     

       
29
       
29
       
 
       
  boot.kernelPackages = pkgs.linuxPackages_latest;

     

       
30
       
30
       
+
       
  # The serial ports listed here are:

     

       
31
       
31
       
+
       
  # - ttyS0: for Tegra (Jetson TK1)

     

       
32
       
32
       
+
       
  # - ttymxc0: for i.MX6 (Wandboard)

     

       
33
       
33
       
+
       
  # - ttyAMA0: for Allwinner (pcDuino3 Nano) and QEMU's -machine virt

     

       
34
       
34
       
+
       
  # - ttyO0: for OMAP (BeagleBone Black)

     

       
35
       
35
       
+
       
  # - ttySAC2: for Exynos (ODROID-XU3)

     

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

     

       
31
       
37
       
 
       


     

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