lib/systems/platforms.nix

   1 { lib }:
   2 rec {
   3   pc = {
   4     linux-kernel = {
   5       name = "pc";
   6
   7       baseConfig = "defconfig";
   8       # Build whatever possible as a module, if not stated in the extra config.
   9       autoModules = true;
  10       target = "bzImage";
  11     };
  12   };
  13
  14   pc_simplekernel = lib.recursiveUpdate pc {
  15     linux-kernel.autoModules = false;
  16   };
  17
  18   powernv = {
  19     linux-kernel = {
  20       name = "PowerNV";
  21
  22       baseConfig = "powernv_defconfig";
  23       target = "zImage";
  24       installTarget = "install";
  25       file = "vmlinux";
  26       autoModules = true;
  27       # avoid driver/FS trouble arising from unusual page size
  28       extraConfig = ''
  29         PPC_64K_PAGES n
  30         PPC_4K_PAGES y
  31         IPV6 y
  32       '';
  33     };
  34   };
  35
  36   ##
  37   ## ARM
  38   ##
  39
  40   pogoplug4 = {
  41     linux-kernel = {
  42       name = "pogoplug4";
  43
  44       baseConfig = "multi_v5_defconfig";
  45       autoModules = false;
  46       extraConfig = ''
  47         # Ubi for the mtd
  48         MTD_UBI y
  49         UBIFS_FS y
  50         UBIFS_FS_XATTR y
  51         UBIFS_FS_ADVANCED_COMPR y
  52         UBIFS_FS_LZO y
  53         UBIFS_FS_ZLIB y
  54         UBIFS_FS_DEBUG n
  55       '';
  56       makeFlags = [ "LOADADDR=0x8000" ];
  57       target = "uImage";
  58       # TODO reenable once manual-config's config actually builds a .dtb and this is checked to be working
  59       #DTB = true;
  60     };
  61     gcc = {
  62       arch = "armv5te";
  63     };
  64   };
  65
  66   sheevaplug = {
  67     linux-kernel = {
  68       name = "sheevaplug";
  69
  70       baseConfig = "multi_v5_defconfig";
  71       autoModules = false;
  72       extraConfig = ''
  73         BLK_DEV_RAM y
  74         BLK_DEV_INITRD y
  75         BLK_DEV_CRYPTOLOOP m
  76         BLK_DEV_DM m
  77         DM_CRYPT m
  78         MD y
  79         REISERFS_FS m
  80         BTRFS_FS m
  81         XFS_FS m
  82         JFS_FS m
  83         EXT4_FS m
  84         USB_STORAGE_CYPRESS_ATACB m
  85
  86         # mv cesa requires this sw fallback, for mv-sha1
  87         CRYPTO_SHA1 y
  88         # Fast crypto
  89         CRYPTO_TWOFISH y
  90         CRYPTO_TWOFISH_COMMON y
  91         CRYPTO_BLOWFISH y
  92         CRYPTO_BLOWFISH_COMMON y
  93
  94         IP_PNP y
  95         IP_PNP_DHCP y
  96         NFS_FS y
  97         ROOT_NFS y
  98         TUN m
  99         NFS_V4 y
 100         NFS_V4_1 y
 101         NFS_FSCACHE y
 102         NFSD m
 103         NFSD_V2_ACL y
 104         NFSD_V3 y
 105         NFSD_V3_ACL y
 106         NFSD_V4 y
 107         NETFILTER y
 108         IP_NF_IPTABLES y
 109         IP_NF_FILTER y
 110         IP_NF_MATCH_ADDRTYPE y
 111         IP_NF_TARGET_LOG y
 112         IP_NF_MANGLE y
 113         IPV6 m
 114         VLAN_8021Q m
 115
 116         CIFS y
 117         CIFS_XATTR y
 118         CIFS_POSIX y
 119         CIFS_FSCACHE y
 120         CIFS_ACL y
 121
 122         WATCHDOG y
 123         WATCHDOG_CORE y
 124         ORION_WATCHDOG m
 125
 126         ZRAM m
 127         NETCONSOLE m
 128
 129         # Disable OABI to have seccomp_filter (required for systemd)
 130         # https://github.com/raspberrypi/firmware/issues/651
 131         OABI_COMPAT n
 132
 133         # Fail to build
 134         DRM n
 135         SCSI_ADVANSYS n
 136         USB_ISP1362_HCD n
 137         SND_SOC n
 138         SND_ALI5451 n
 139         FB_SAVAGE n
 140         SCSI_NSP32 n
 141         ATA_SFF n
 142         SUNGEM n
 143         IRDA n
 144         ATM_HE n
 145         SCSI_ACARD n
 146         BLK_DEV_CMD640_ENHANCED n
 147
 148         FUSE_FS m
 149
 150         # systemd uses cgroups
 151         CGROUPS y
 152
 153         # Latencytop
 154         LATENCYTOP y
 155
 156         # Ubi for the mtd
 157         MTD_UBI y
 158         UBIFS_FS y
 159         UBIFS_FS_XATTR y
 160         UBIFS_FS_ADVANCED_COMPR y
 161         UBIFS_FS_LZO y
 162         UBIFS_FS_ZLIB y
 163         UBIFS_FS_DEBUG n
 164
 165         # Kdb, for kernel troubles
 166         KGDB y
 167         KGDB_SERIAL_CONSOLE y
 168         KGDB_KDB y
 169       '';
 170       makeFlags = [ "LOADADDR=0x0200000" ];
 171       target = "uImage";
 172       DTB = true; # Beyond 3.10
 173     };
 174     gcc = {
 175       arch = "armv5te";
 176     };
 177   };
 178
 179   raspberrypi = {
 180     linux-kernel = {
 181       name = "raspberrypi";
 182
 183       baseConfig = "bcm2835_defconfig";
 184       DTB = true;
 185       autoModules = true;
 186       preferBuiltin = true;
 187       extraConfig = ''
 188         # Disable OABI to have seccomp_filter (required for systemd)
 189         # https://github.com/raspberrypi/firmware/issues/651
 190         OABI_COMPAT n
 191       '';
 192       target = "zImage";
 193     };
 194     gcc = {
 195       arch = "armv6";
 196       fpu = "vfp";
 197     };
 198   };
 199
 200   # Legacy attribute, for compatibility with existing configs only.
 201   raspberrypi2 = armv7l-hf-multiplatform;
 202
 203   zero-gravitas = {
 204     linux-kernel = {
 205       name = "zero-gravitas";
 206
 207       baseConfig = "zero-gravitas_defconfig";
 208       # Target verified by checking /boot on reMarkable 1 device
 209       target = "zImage";
 210       autoModules = false;
 211       DTB = true;
 212     };
 213     gcc = {
 214       fpu = "neon";
 215       cpu = "cortex-a9";
 216     };
 217   };
 218
 219   zero-sugar = {
 220     linux-kernel = {
 221       name = "zero-sugar";
 222
 223       baseConfig = "zero-sugar_defconfig";
 224       DTB = true;
 225       autoModules = false;
 226       preferBuiltin = true;
 227       target = "zImage";
 228     };
 229     gcc = {
 230       cpu = "cortex-a7";
 231       fpu = "neon-vfpv4";
 232       float-abi = "hard";
 233     };
 234   };
 235
 236   scaleway-c1 = lib.recursiveUpdate armv7l-hf-multiplatform {
 237     gcc = {
 238       cpu = "cortex-a9";
 239       fpu = "vfpv3";
 240     };
 241   };
 242
 243   utilite = {
 244     linux-kernel = {
 245       name = "utilite";
 246       maseConfig = "multi_v7_defconfig";
 247       autoModules = false;
 248       extraConfig = ''
 249         # Ubi for the mtd
 250         MTD_UBI y
 251         UBIFS_FS y
 252         UBIFS_FS_XATTR y
 253         UBIFS_FS_ADVANCED_COMPR y
 254         UBIFS_FS_LZO y
 255         UBIFS_FS_ZLIB y
 256         UBIFS_FS_DEBUG n
 257       '';
 258       makeFlags = [ "LOADADDR=0x10800000" ];
 259       target = "uImage";
 260       DTB = true;
 261     };
 262     gcc = {
 263       cpu = "cortex-a9";
 264       fpu = "neon";
 265     };
 266   };
 267
 268   guruplug = lib.recursiveUpdate sheevaplug {
 269     # Define `CONFIG_MACH_GURUPLUG' (see
 270     # <http://kerneltrap.org/mailarchive/git-commits-head/2010/5/19/33618>)
 271     # and other GuruPlug-specific things.  Requires the `guruplug-defconfig'
 272     # patch.
 273     linux-kernel.baseConfig = "guruplug_defconfig";
 274   };
 275
 276   beaglebone = lib.recursiveUpdate armv7l-hf-multiplatform {
 277     linux-kernel = {
 278       name = "beaglebone";
 279       baseConfig = "bb.org_defconfig";
 280       autoModules = false;
 281       extraConfig = ""; # TBD kernel config
 282       target = "zImage";
 283     };
 284   };
 285
 286   # https://developer.android.com/ndk/guides/abis#v7a
 287   armv7a-android = {
 288     linux-kernel.name = "armeabi-v7a";
 289     gcc = {
 290       arch = "armv7-a";
 291       float-abi = "softfp";
 292       fpu = "vfpv3-d16";
 293     };
 294   };
 295
 296   armv7l-hf-multiplatform = {
 297     linux-kernel = {
 298       name = "armv7l-hf-multiplatform";
 299       Major = "2.6"; # Using "2.6" enables 2.6 kernel syscalls in glibc.
 300       baseConfig = "multi_v7_defconfig";
 301       DTB = true;
 302       autoModules = true;
 303       preferBuiltin = true;
 304       target = "zImage";
 305       extraConfig = ''
 306         # Serial port for Raspberry Pi 3. Wasn't included in ARMv7 defconfig
 307         # until 4.17.
 308         SERIAL_8250_BCM2835AUX y
 309         SERIAL_8250_EXTENDED y
 310         SERIAL_8250_SHARE_IRQ y
 311
 312         # Hangs ODROID-XU4
 313         ARM_BIG_LITTLE_CPUIDLE n
 314
 315         # Disable OABI to have seccomp_filter (required for systemd)
 316         # https://github.com/raspberrypi/firmware/issues/651
 317         OABI_COMPAT n
 318       '';
 319     };
 320     gcc = {
 321       # Some table about fpu flags:
 322       # http://community.arm.com/servlet/JiveServlet/showImage/38-1981-3827/blogentry-103749-004812900+1365712953_thumb.png
 323       # Cortex-A5: -mfpu=neon-fp16
 324       # Cortex-A7 (rpi2): -mfpu=neon-vfpv4
 325       # Cortex-A8 (beaglebone): -mfpu=neon
 326       # Cortex-A9: -mfpu=neon-fp16
 327       # Cortex-A15: -mfpu=neon-vfpv4
 328
 329       # More about FPU:
 330       # https://wiki.debian.org/ArmHardFloatPort/VfpComparison
 331
 332       # vfpv3-d16 is what Debian uses and seems to be the best compromise: NEON is not supported in e.g. Scaleway or Tegra 2,
 333       # and the above page suggests NEON is only an improvement with hand-written assembly.
 334       arch = "armv7-a";
 335       fpu = "vfpv3-d16";
 336
 337       # For Raspberry Pi the 2 the best would be:
 338       #   cpu = "cortex-a7";
 339       #   fpu = "neon-vfpv4";
 340     };
 341   };
 342
 343   aarch64-multiplatform = {
 344     linux-kernel = {
 345       name = "aarch64-multiplatform";
 346       baseConfig = "defconfig";
 347       DTB = true;
 348       autoModules = true;
 349       preferBuiltin = true;
 350       extraConfig = ''
 351         # Raspberry Pi 3 stuff. Not needed for   s >= 4.10.
 352         ARCH_BCM2835 y
 353         BCM2835_MBOX y
 354         BCM2835_WDT y
 355         RASPBERRYPI_FIRMWARE y
 356         RASPBERRYPI_POWER y
 357         SERIAL_8250_BCM2835AUX y
 358         SERIAL_8250_EXTENDED y
 359         SERIAL_8250_SHARE_IRQ y
 360
 361         # Cavium ThunderX stuff.
 362         PCI_HOST_THUNDER_ECAM y
 363
 364         # Nvidia Tegra stuff.
 365         PCI_TEGRA y
 366
 367         # The default (=y) forces us to have the XHCI firmware available in initrd,
 368         # which our initrd builder can't currently do easily.
 369         USB_XHCI_TEGRA m
 370       '';
 371       target = "Image";
 372     };
 373     gcc = {
 374       arch = "armv8-a";
 375     };
 376   };
 377
 378   ##
 379   ## MIPS
 380   ##
 381
 382   ben_nanonote = {
 383     linux-kernel = {
 384       name = "ben_nanonote";
 385     };
 386     gcc = {
 387       arch = "mips32";
 388       float = "soft";
 389     };
 390   };
 391
 392   fuloong2f_n32 = {
 393     linux-kernel = {
 394       name = "fuloong2f_n32";
 395       baseConfig = "lemote2f_defconfig";
 396       autoModules = false;
 397       extraConfig = ''
 398         MIGRATION n
 399         COMPACTION n
 400
 401         # nixos mounts some cgroup
 402         CGROUPS y
 403
 404         BLK_DEV_RAM y
 405         BLK_DEV_INITRD y
 406         BLK_DEV_CRYPTOLOOP m
 407         BLK_DEV_DM m
 408         DM_CRYPT m
 409         MD y
 410         REISERFS_FS m
 411         EXT4_FS m
 412         USB_STORAGE_CYPRESS_ATACB m
 413
 414         IP_PNP y
 415         IP_PNP_DHCP y
 416         IP_PNP_BOOTP y
 417         NFS_FS y
 418         ROOT_NFS y
 419         TUN m
 420         NFS_V4 y
 421         NFS_V4_1 y
 422         NFS_FSCACHE y
 423         NFSD m
 424         NFSD_V2_ACL y
 425         NFSD_V3 y
 426         NFSD_V3_ACL y
 427         NFSD_V4 y
 428
 429         # Fail to build
 430         DRM n
 431         SCSI_ADVANSYS n
 432         USB_ISP1362_HCD n
 433         SND_SOC n
 434         SND_ALI5451 n
 435         FB_SAVAGE n
 436         SCSI_NSP32 n
 437         ATA_SFF n
 438         SUNGEM n
 439         IRDA n
 440         ATM_HE n
 441         SCSI_ACARD n
 442         BLK_DEV_CMD640_ENHANCED n
 443
 444         FUSE_FS m
 445
 446         # Needed for udev >= 150
 447         SYSFS_DEPRECATED_V2 n
 448
 449         VGA_CONSOLE n
 450         VT_HW_CONSOLE_BINDING y
 451         SERIAL_8250_CONSOLE y
 452         FRAMEBUFFER_CONSOLE y
 453         EXT2_FS y
 454         EXT3_FS y
 455         REISERFS_FS y
 456         MAGIC_SYSRQ y
 457
 458         # The kernel doesn't boot at all, with FTRACE
 459         FTRACE n
 460       '';
 461       target = "vmlinux";
 462     };
 463     gcc = {
 464       arch = "loongson2f";
 465       float = "hard";
 466       abi = "n32";
 467     };
 468   };
 469
 470   ##
 471   ## Other
 472   ##
 473
 474   riscv-multiplatform = {
 475     linux-kernel = {
 476       name = "riscv-multiplatform";
 477       target = "vmlinux";
 478       autoModules = true;
 479       baseConfig = "defconfig";
 480       extraConfig = ''
 481         FTRACE n
 482         SERIAL_OF_PLATFORM y
 483       '';
 484     };
 485   };
 486
 487   select = platform:
 488     # x86
 489     /**/ if platform.isx86 then pc
 490
 491     # ARM
 492     else if platform.isAarch32 then let
 493       version = platform.parsed.cpu.version or null;
 494       in     if version == null then pc
 495         else if lib.versionOlder version "6" then sheevaplug
 496         else if lib.versionOlder version "7" then raspberrypi
 497         else armv7l-hf-multiplatform
 498     else if platform.isAarch64 then aarch64-multiplatform
 499
 500     else if platform.isRiscV then riscv-multiplatform
 501
 502     else if platform.parsed.cpu == lib.systems.parse.cpuTypes.mipsel then fuloong2f_n32
 503
 504     else if platform.parsed.cpu == lib.systems.parse.cpuTypes.powerpc64le then powernv
 505
 506     else pc;
 507 }