wip
/
nixpkgs
1
0
Fork 0
Code Issues 0 Pull-Requests 0 Releases 0 Wiki Aktivität
Du kannst nicht mehr als 25 Themen auswählen Themen müssen entweder mit einem Buchstaben oder einer Ziffer beginnen. Sie können Bindestriche („-“) enthalten und bis zu 35 Zeichen lang sein.
133913 Commits
1 Branch
1.1 GiB
 
 
 
 
 
 
Struktur: bc7df1734f
Branches Tags
${ item.name }
Erstelle Branch ${ searchTerm }
von „bc7df1734f“
${ noResults }
nixpkgs/lib/systems/platforms.nix

567 Zeilen
12 KiB
Originalformat Blame Verlauf 

  1. { lib }:

  2. rec {

  3.   pcBase = {

  4.     name = "pc";

  5.     kernelBaseConfig = "defconfig";

  6.     # Build whatever possible as a module, if not stated in the extra config.

  7.     kernelAutoModules = true;

  8.     kernelTarget = "bzImage";

  9.   };

  10. 

  11.   pc64 = pcBase // { kernelArch = "x86_64"; };

  12. 

  13.   pc32 = pcBase // { kernelArch = "i386"; };

  14. 

  15.   pc32_simplekernel = pc32 // {

  16.     kernelAutoModules = false;

  17.   };

  18. 

  19.   pc64_simplekernel = pc64 // {

  20.     kernelAutoModules = false;

  21.   };

  22. 

  23.   pogoplug4 = {

  24.     name = "pogoplug4";

  25. 

  26.     gcc = {

  27.       arch = "armv5te";

  28.       float = "soft";

  29.     };

  30. 

  31.     kernelMajor = "2.6";

  32.     kernelBaseConfig = "multi_v5_defconfig";

  33.     kernelArch = "arm";

  34.     kernelAutoModules = false;

  35.     kernelExtraConfig =

  36.       ''

  37.         # Ubi for the mtd

  38.         MTD_UBI y

  39.         UBIFS_FS y

  40.         UBIFS_FS_XATTR y

  41.         UBIFS_FS_ADVANCED_COMPR y

  42.         UBIFS_FS_LZO y

  43.         UBIFS_FS_ZLIB y

  44.         UBIFS_FS_DEBUG n

  45.       '';

  46.     kernelMakeFlags = [ "LOADADDR=0x8000" ];

  47.     kernelTarget = "uImage";

  48.     # TODO reenable once manual-config's config actually builds a .dtb and this is checked to be working

  49.     #kernelDTB = true;

  50.   };

  51. 

  52.   sheevaplug = {

  53.     name = "sheevaplug";

  54.     kernelMajor = "2.6";

  55.     kernelBaseConfig = "multi_v5_defconfig";

  56.     kernelArch = "arm";

  57.     kernelAutoModules = false;

  58.     kernelExtraConfig = ''

  59.       BLK_DEV_RAM y

  60.       BLK_DEV_INITRD y

  61.       BLK_DEV_CRYPTOLOOP m

  62.       BLK_DEV_DM m

  63.       DM_CRYPT m

  64.       MD y

  65.       REISERFS_FS m

  66.       BTRFS_FS m

  67.       XFS_FS m

  68.       JFS_FS m

  69.       EXT4_FS m

  70.       USB_STORAGE_CYPRESS_ATACB m

  71. 

  72.       # mv cesa requires this sw fallback, for mv-sha1

  73.       CRYPTO_SHA1 y

  74.       # Fast crypto

  75.       CRYPTO_TWOFISH y

  76.       CRYPTO_TWOFISH_COMMON y

  77.       CRYPTO_BLOWFISH y

  78.       CRYPTO_BLOWFISH_COMMON y

  79. 

  80.       IP_PNP y

  81.       IP_PNP_DHCP y

  82.       NFS_FS y

  83.       ROOT_NFS y

  84.       TUN m

  85.       NFS_V4 y

  86.       NFS_V4_1 y

  87.       NFS_FSCACHE y

  88.       NFSD m

  89.       NFSD_V2_ACL y

  90.       NFSD_V3 y

  91.       NFSD_V3_ACL y

  92.       NFSD_V4 y

  93.       NETFILTER y

  94.       IP_NF_IPTABLES y

  95.       IP_NF_FILTER y

  96.       IP_NF_MATCH_ADDRTYPE y

  97.       IP_NF_TARGET_LOG y

  98.       IP_NF_MANGLE y

  99.       IPV6 m

  100.       VLAN_8021Q m

  101. 

  102.       CIFS y

  103.       CIFS_XATTR y

  104.       CIFS_POSIX y

  105.       CIFS_FSCACHE y

  106.       CIFS_ACL y

  107. 

  108.       WATCHDOG y

  109.       WATCHDOG_CORE y

  110.       ORION_WATCHDOG m

  111. 

  112.       ZRAM m

  113.       NETCONSOLE m

  114. 

  115.       # Disable OABI to have seccomp_filter (required for systemd)

  116.       # https://github.com/raspberrypi/firmware/issues/651

  117.       OABI_COMPAT n

  118. 

  119.       # Fail to build

  120.       DRM n

  121.       SCSI_ADVANSYS n

  122.       USB_ISP1362_HCD n

  123.       SND_SOC n

  124.       SND_ALI5451 n

  125.       FB_SAVAGE n

  126.       SCSI_NSP32 n

  127.       ATA_SFF n

  128.       SUNGEM n

  129.       IRDA n

  130.       ATM_HE n

  131.       SCSI_ACARD n

  132.       BLK_DEV_CMD640_ENHANCED n

  133. 

  134.       FUSE_FS m

  135. 

  136.       # systemd uses cgroups

  137.       CGROUPS y

  138. 

  139.       # Latencytop

  140.       LATENCYTOP y

  141. 

  142.       # Ubi for the mtd

  143.       MTD_UBI y

  144.       UBIFS_FS y

  145.       UBIFS_FS_XATTR y

  146.       UBIFS_FS_ADVANCED_COMPR y

  147.       UBIFS_FS_LZO y

  148.       UBIFS_FS_ZLIB y

  149.       UBIFS_FS_DEBUG n

  150. 

  151.       # Kdb, for kernel troubles

  152.       KGDB y

  153.       KGDB_SERIAL_CONSOLE y

  154.       KGDB_KDB y

  155.     '';

  156.     kernelMakeFlags = [ "LOADADDR=0x0200000" ];

  157.     kernelTarget = "uImage";

  158.     kernelDTB = true; # Beyond 3.10

  159.     gcc = {

  160.       arch = "armv5te";

  161.       float = "soft";

  162.     };

  163.   };

  164. 

  165.   raspberrypi = {

  166.     name = "raspberrypi";

  167.     kernelMajor = "2.6";

  168.     kernelBaseConfig = "bcmrpi_defconfig";

  169.     kernelDTB = true;

  170.     kernelArch = "arm";

  171.     kernelAutoModules = false;

  172.     kernelExtraConfig = ''

  173.       BLK_DEV_RAM y

  174.       BLK_DEV_INITRD y

  175.       BLK_DEV_CRYPTOLOOP m

  176.       BLK_DEV_DM m

  177.       DM_CRYPT m

  178.       MD y

  179.       REISERFS_FS m

  180.       BTRFS_FS y

  181.       XFS_FS m

  182.       JFS_FS y

  183.       EXT4_FS y

  184. 

  185.       IP_PNP y

  186.       IP_PNP_DHCP y

  187.       NFS_FS y

  188.       ROOT_NFS y

  189.       TUN m

  190.       NFS_V4 y

  191.       NFS_V4_1 y

  192.       NFS_FSCACHE y

  193.       NFSD m

  194.       NFSD_V2_ACL y

  195.       NFSD_V3 y

  196.       NFSD_V3_ACL y

  197.       NFSD_V4 y

  198.       NETFILTER y

  199.       IP_NF_IPTABLES y

  200.       IP_NF_FILTER y

  201.       IP_NF_MATCH_ADDRTYPE y

  202.       IP_NF_TARGET_LOG y

  203.       IP_NF_MANGLE y

  204.       IPV6 m

  205.       VLAN_8021Q m

  206. 

  207.       CIFS y

  208.       CIFS_XATTR y

  209.       CIFS_POSIX y

  210.       CIFS_FSCACHE y

  211.       CIFS_ACL y

  212. 

  213.       ZRAM m

  214. 

  215.       # Disable OABI to have seccomp_filter (required for systemd)

  216.       # https://github.com/raspberrypi/firmware/issues/651

  217.       OABI_COMPAT n

  218. 

  219.       # Fail to build

  220.       DRM n

  221.       SCSI_ADVANSYS n

  222.       USB_ISP1362_HCD n

  223.       SND_SOC n

  224.       SND_ALI5451 n

  225.       FB_SAVAGE n

  226.       SCSI_NSP32 n

  227.       ATA_SFF n

  228.       SUNGEM n

  229.       IRDA n

  230.       ATM_HE n

  231.       SCSI_ACARD n

  232.       BLK_DEV_CMD640_ENHANCED n

  233. 

  234.       FUSE_FS m

  235. 

  236.       # nixos mounts some cgroup

  237.       CGROUPS y

  238. 

  239.       # Latencytop

  240.       LATENCYTOP y

  241.     '';

  242.     kernelTarget = "zImage";

  243.     gcc = {

  244.       arch = "armv6";

  245.       fpu = "vfp";

  246.       float = "hard";

  247.       # TODO(@Ericson2314) what is this and is it a good idea? It was

  248.       # used in some cross compilation examples but not others.

  249.       #

  250.       # abi = "aapcs-linux";

  251.     };

  252.   };

  253. 

  254.   raspberrypi2 = armv7l-hf-multiplatform // {

  255.     name = "raspberrypi2";

  256.     kernelBaseConfig = "bcm2709_defconfig";

  257.     kernelDTB = true;

  258.     kernelAutoModules = false;

  259.     kernelExtraConfig = ''

  260.       BLK_DEV_RAM y

  261.       BLK_DEV_INITRD y

  262.       BLK_DEV_CRYPTOLOOP m

  263.       BLK_DEV_DM m

  264.       DM_CRYPT m

  265.       MD y

  266.       REISERFS_FS m

  267.       BTRFS_FS y

  268.       XFS_FS m

  269.       JFS_FS y

  270.       EXT4_FS y

  271. 

  272.       IP_PNP y

  273.       IP_PNP_DHCP y

  274.       NFS_FS y

  275.       ROOT_NFS y

  276.       TUN m

  277.       NFS_V4 y

  278.       NFS_V4_1 y

  279.       NFS_FSCACHE y

  280.       NFSD m

  281.       NFSD_V2_ACL y

  282.       NFSD_V3 y

  283.       NFSD_V3_ACL y

  284.       NFSD_V4 y

  285.       NETFILTER y

  286.       IP_NF_IPTABLES y

  287.       IP_NF_FILTER y

  288.       IP_NF_MATCH_ADDRTYPE y

  289.       IP_NF_TARGET_LOG y

  290.       IP_NF_MANGLE y

  291.       IPV6 m

  292.       VLAN_8021Q m

  293. 

  294.       CIFS y

  295.       CIFS_XATTR y

  296.       CIFS_POSIX y

  297.       CIFS_FSCACHE y

  298.       CIFS_ACL y

  299. 

  300.       ZRAM m

  301. 

  302.       # Disable OABI to have seccomp_filter (required for systemd)

  303.       # https://github.com/raspberrypi/firmware/issues/651

  304.       OABI_COMPAT n

  305. 

  306.       # Fail to build

  307.       DRM n

  308.       SCSI_ADVANSYS n

  309.       USB_ISP1362_HCD n

  310.       SND_SOC n

  311.       SND_ALI5451 n

  312.       FB_SAVAGE n

  313.       SCSI_NSP32 n

  314.       ATA_SFF n

  315.       SUNGEM n

  316.       IRDA n

  317.       ATM_HE n

  318.       SCSI_ACARD n

  319.       BLK_DEV_CMD640_ENHANCED n

  320. 

  321.       FUSE_FS m

  322. 

  323.       # nixos mounts some cgroup

  324.       CGROUPS y

  325. 

  326.       # Latencytop

  327.       LATENCYTOP y

  328. 

  329.       # Disable the common config Xen, it doesn't build on ARM

  330.       XEN? n

  331.     '';

  332.     kernelTarget = "zImage";

  333.   };

  334. 

  335.   scaleway-c1 = armv7l-hf-multiplatform // {

  336.     gcc = {

  337.       cpu = "cortex-a9";

  338.       fpu = "vfpv3";

  339.       float = "hard";

  340.     };

  341.   };

  342. 

  343.   utilite = {

  344.     name = "utilite";

  345.     kernelMajor = "2.6";

  346.     kernelBaseConfig = "multi_v7_defconfig";

  347.     kernelArch = "arm";

  348.     kernelAutoModules = false;

  349.     kernelExtraConfig =

  350.       ''

  351.         # Ubi for the mtd

  352.         MTD_UBI y

  353.         UBIFS_FS y

  354.         UBIFS_FS_XATTR y

  355.         UBIFS_FS_ADVANCED_COMPR y

  356.         UBIFS_FS_LZO y

  357.         UBIFS_FS_ZLIB y

  358.         UBIFS_FS_DEBUG n

  359.       '';

  360.     kernelMakeFlags = [ "LOADADDR=0x10800000" ];

  361.     kernelTarget = "uImage";

  362.     kernelDTB = true;

  363.     gcc = {

  364.       cpu = "cortex-a9";

  365.       fpu = "neon";

  366.       float = "hard";

  367.     };

  368.   };

  369. 

  370.   guruplug = sheevaplug // {

  371.     # Define `CONFIG_MACH_GURUPLUG' (see

  372.     # <http://kerneltrap.org/mailarchive/git-commits-head/2010/5/19/33618>)

  373.     # and other GuruPlug-specific things.  Requires the `guruplug-defconfig'

  374.     # patch.

  375. 

  376.     kernelBaseConfig = "guruplug_defconfig";

  377.   };

  378. 

  379.   fuloong2f_n32 = {

  380.     name = "fuloong2f_n32";

  381.     kernelMajor = "2.6";

  382.     kernelBaseConfig = "lemote2f_defconfig";

  383.     kernelArch = "mips";

  384.     kernelAutoModules = false;

  385.     kernelExtraConfig = ''

  386.       MIGRATION n

  387.       COMPACTION n

  388. 

  389.       # nixos mounts some cgroup

  390.       CGROUPS y

  391. 

  392.       BLK_DEV_RAM y

  393.       BLK_DEV_INITRD y

  394.       BLK_DEV_CRYPTOLOOP m

  395.       BLK_DEV_DM m

  396.       DM_CRYPT m

  397.       MD y

  398.       REISERFS_FS m

  399.       EXT4_FS m

  400.       USB_STORAGE_CYPRESS_ATACB m

  401. 

  402.       IP_PNP y

  403.       IP_PNP_DHCP y

  404.       IP_PNP_BOOTP y

  405.       NFS_FS y

  406.       ROOT_NFS y

  407.       TUN m

  408.       NFS_V4 y

  409.       NFS_V4_1 y

  410.       NFS_FSCACHE y

  411.       NFSD m

  412.       NFSD_V2_ACL y

  413.       NFSD_V3 y

  414.       NFSD_V3_ACL y

  415.       NFSD_V4 y

  416. 

  417.       # Fail to build

  418.       DRM n

  419.       SCSI_ADVANSYS n

  420.       USB_ISP1362_HCD n

  421.       SND_SOC n

  422.       SND_ALI5451 n

  423.       FB_SAVAGE n

  424.       SCSI_NSP32 n

  425.       ATA_SFF n

  426.       SUNGEM n

  427.       IRDA n

  428.       ATM_HE n

  429.       SCSI_ACARD n

  430.       BLK_DEV_CMD640_ENHANCED n

  431. 

  432.       FUSE_FS m

  433. 

  434.       # Needed for udev >= 150

  435.       SYSFS_DEPRECATED_V2 n

  436. 

  437.       VGA_CONSOLE n

  438.       VT_HW_CONSOLE_BINDING y

  439.       SERIAL_8250_CONSOLE y

  440.       FRAMEBUFFER_CONSOLE y

  441.       EXT2_FS y

  442.       EXT3_FS y

  443.       REISERFS_FS y

  444.       MAGIC_SYSRQ y

  445. 

  446.       # The kernel doesn't boot at all, with FTRACE

  447.       FTRACE n

  448.     '';

  449.     kernelTarget = "vmlinux";

  450.     gcc = {

  451.       arch = "loongson2f";

  452.       abi = "n32";

  453.     };

  454.   };

  455. 

  456.   beaglebone = armv7l-hf-multiplatform // {

  457.     name = "beaglebone";

  458.     kernelBaseConfig = "bb.org_defconfig";

  459.     kernelAutoModules = false;

  460.     kernelExtraConfig = ""; # TBD kernel config

  461.     kernelTarget = "zImage";

  462.   };

  463. 

  464.   armv7l-hf-multiplatform = {

  465.     name = "armv7l-hf-multiplatform";

  466.     kernelMajor = "2.6"; # Using "2.6" enables 2.6 kernel syscalls in glibc.

  467.     kernelBaseConfig = "multi_v7_defconfig";

  468.     kernelArch = "arm";

  469.     kernelDTB = true;

  470.     kernelAutoModules = true;

  471.     kernelPreferBuiltin = true;

  472.     kernelTarget = "zImage";

  473.     kernelExtraConfig = ''

  474.       # Serial port for Raspberry Pi 3. Upstream forgot to add it to the ARMv7 defconfig.

  475.       SERIAL_8250_BCM2835AUX y

  476.       SERIAL_8250_EXTENDED y

  477.       SERIAL_8250_SHARE_IRQ y

  478. 

  479.       # Fix broken sunxi-sid nvmem driver.

  480.       TI_CPTS y

  481. 

  482.       # Hangs ODROID-XU4

  483.       ARM_BIG_LITTLE_CPUIDLE n

  484.     '';

  485.     gcc = {

  486.       # Some table about fpu flags:

  487.       # http://community.arm.com/servlet/JiveServlet/showImage/38-1981-3827/blogentry-103749-004812900+1365712953_thumb.png

  488.       # Cortex-A5: -mfpu=neon-fp16

  489.       # Cortex-A7 (rpi2): -mfpu=neon-vfpv4

  490.       # Cortex-A8 (beaglebone): -mfpu=neon

  491.       # Cortex-A9: -mfpu=neon-fp16

  492.       # Cortex-A15: -mfpu=neon-vfpv4

  493. 

  494.       # More about FPU:

  495.       # https://wiki.debian.org/ArmHardFloatPort/VfpComparison

  496. 

  497.       # vfpv3-d16 is what Debian uses and seems to be the best compromise: NEON is not supported in e.g. Scaleway or Tegra 2,

  498.       # and the above page suggests NEON is only an improvement with hand-written assembly.

  499.       arch = "armv7-a";

  500.       fpu = "vfpv3-d16";

  501.       float = "hard";

  502. 

  503.       # For Raspberry Pi the 2 the best would be:

  504.       #   cpu = "cortex-a7";

  505.       #   fpu = "neon-vfpv4";

  506.     };

  507.   };

  508. 

  509.   aarch64-multiplatform = {

  510.     name = "aarch64-multiplatform";

  511.     kernelMajor = "2.6"; # Using "2.6" enables 2.6 kernel syscalls in glibc.

  512.     kernelBaseConfig = "defconfig";

  513.     kernelArch = "arm64";

  514.     kernelDTB = true;

  515.     kernelAutoModules = true;

  516.     kernelPreferBuiltin = true;

  517.     kernelExtraConfig = ''

  518.       # Raspberry Pi 3 stuff. Not needed for kernels >= 4.10.

  519.       ARCH_BCM2835 y

  520.       BCM2835_MBOX y

  521.       BCM2835_WDT y

  522.       RASPBERRYPI_FIRMWARE y

  523.       RASPBERRYPI_POWER y

  524.       SERIAL_8250_BCM2835AUX y

  525.       SERIAL_8250_EXTENDED y

  526.       SERIAL_8250_SHARE_IRQ y

  527. 

  528.       # Cavium ThunderX stuff.

  529.       PCI_HOST_THUNDER_ECAM y

  530. 

  531.       # Nvidia Tegra stuff.

  532.       PCI_TEGRA y

  533. 

  534.       # The default (=y) forces us to have the XHCI firmware available in initrd,

  535.       # which our initrd builder can't currently do easily.

  536.       USB_XHCI_TEGRA m

  537.     '';

  538.     kernelTarget = "Image";

  539.     gcc = {

  540.       arch = "armv8-a";

  541.     };

  542.   };

  543. 

  544.   riscv-multiplatform = bits: {

  545.     name = "riscv-multiplatform";

  546.     kernelArch = "riscv";

  547.     bfdEmulation = "elf${bits}lriscv";

  548.     kernelTarget = "vmlinux";

  549.     kernelAutoModules = true;

  550.     kernelBaseConfig = "defconfig";

  551.     kernelExtraConfig = ''

  552.       FTRACE n

  553.       SERIAL_OF_PLATFORM y

  554.     '';

  555.   };

  556. 

  557.   selectBySystem = system: {

  558.       "i686-linux" = pc32;

  559.       "x86_64-linux" = pc64;

  560.       "armv5tel-linux" = sheevaplug;

  561.       "armv6l-linux" = raspberrypi;

  562.       "armv7l-linux" = armv7l-hf-multiplatform;

  563.       "aarch64-linux" = aarch64-multiplatform;

  564.       "mipsel-linux" = fuloong2f_n32;

  565.     }.${system} or pcBase;

  566. }