rec { pcBase = { name = "pc"; uboot = null; kernelHeadersBaseConfig = "defconfig"; kernelBaseConfig = "defconfig"; # Build whatever possible as a module, if not stated in the extra config. kernelAutoModules = true; kernelTarget = "bzImage"; }; pc64 = pcBase // { kernelArch = "x86_64"; }; pc32 = pcBase // { kernelArch = "i386"; }; pc32_simplekernel = pc32 // { kernelAutoModules = false; }; pc64_simplekernel = pc64 // { kernelAutoModules = false; }; sheevaplug = { name = "sheevaplug"; kernelMajor = "2.6"; kernelHeadersBaseConfig = "kirkwood_defconfig"; kernelBaseConfig = "multi_v5_defconfig"; kernelArch = "arm"; kernelAutoModules = false; kernelExtraConfig = '' BLK_DEV_RAM y BLK_DEV_INITRD y BLK_DEV_CRYPTOLOOP m BLK_DEV_DM m DM_CRYPT m MD y REISERFS_FS m BTRFS_FS m XFS_FS m JFS_FS m EXT4_FS m USB_STORAGE_CYPRESS_ATACB m # mv cesa requires this sw fallback, for mv-sha1 CRYPTO_SHA1 y # Fast crypto CRYPTO_TWOFISH y CRYPTO_TWOFISH_COMMON y CRYPTO_BLOWFISH y CRYPTO_BLOWFISH_COMMON y IP_PNP y IP_PNP_DHCP y NFS_FS y ROOT_NFS y TUN m NFS_V4 y NFS_V4_1 y NFS_FSCACHE y NFSD m NFSD_V2_ACL y NFSD_V3 y NFSD_V3_ACL y NFSD_V4 y NETFILTER y IP_NF_IPTABLES y IP_NF_FILTER y IP_NF_MATCH_ADDRTYPE y IP_NF_TARGET_LOG y IP_NF_MANGLE y IPV6 m VLAN_8021Q m CIFS y CIFS_XATTR y CIFS_POSIX y CIFS_FSCACHE y CIFS_ACL y WATCHDOG y WATCHDOG_CORE y ORION_WATCHDOG m ZRAM m NETCONSOLE m # Fail to build DRM n SCSI_ADVANSYS n USB_ISP1362_HCD n SND_SOC n SND_ALI5451 n FB_SAVAGE n SCSI_NSP32 n ATA_SFF n SUNGEM n IRDA n ATM_HE n SCSI_ACARD n BLK_DEV_CMD640_ENHANCED n FUSE_FS m # systemd uses cgroups CGROUPS y # Latencytop LATENCYTOP y # Ubi for the mtd MTD_UBI y UBIFS_FS y UBIFS_FS_XATTR y UBIFS_FS_ADVANCED_COMPR y UBIFS_FS_LZO y UBIFS_FS_ZLIB y UBIFS_FS_DEBUG n # Kdb, for kernel troubles KGDB y KGDB_SERIAL_CONSOLE y KGDB_KDB y ''; kernelMakeFlags = [ "LOADADDR=0x0200000" ]; kernelTarget = "uImage"; uboot = "sheevaplug"; # Only for uboot = uboot : ubootConfig = "sheevaplug_config"; kernelDTB = true; # Beyond 3.10 }; raspberrypi = { name = "raspberrypi"; kernelMajor = "2.6"; kernelHeadersBaseConfig = "kirkwood_defconfig"; kernelBaseConfig = "bcmrpi_defconfig"; kernelArch = "arm"; kernelAutoModules = false; kernelExtraConfig = '' BLK_DEV_RAM y BLK_DEV_INITRD y BLK_DEV_CRYPTOLOOP m BLK_DEV_DM m DM_CRYPT m MD y REISERFS_FS m BTRFS_FS y XFS_FS m JFS_FS y EXT4_FS y IP_PNP y IP_PNP_DHCP y NFS_FS y ROOT_NFS y TUN m NFS_V4 y NFS_V4_1 y NFS_FSCACHE y NFSD m NFSD_V2_ACL y NFSD_V3 y NFSD_V3_ACL y NFSD_V4 y NETFILTER y IP_NF_IPTABLES y IP_NF_FILTER y IP_NF_MATCH_ADDRTYPE y IP_NF_TARGET_LOG y IP_NF_MANGLE y IPV6 m VLAN_8021Q m CIFS y CIFS_XATTR y CIFS_POSIX y CIFS_FSCACHE y CIFS_ACL y ZRAM m # Fail to build DRM n SCSI_ADVANSYS n USB_ISP1362_HCD n SND_SOC n SND_ALI5451 n FB_SAVAGE n SCSI_NSP32 n ATA_SFF n SUNGEM n IRDA n ATM_HE n SCSI_ACARD n BLK_DEV_CMD640_ENHANCED n FUSE_FS m # nixos mounts some cgroup CGROUPS y # Latencytop LATENCYTOP y ''; kernelTarget = "zImage"; uboot = null; gcc = { arch = "armv6"; fpu = "vfp"; float = "hard"; }; }; raspberrypi2 = { name = "raspberrypi2"; kernelMajor = "3.14"; kernelHeadersBaseConfig = "kirkwood_defconfig"; kernelBaseConfig = "bcm2709_defconfig"; kernelArch = "arm"; kernelDTB = true; kernelAutoModules = false; kernelExtraConfig = '' BLK_DEV_RAM y BLK_DEV_INITRD y BLK_DEV_CRYPTOLOOP m BLK_DEV_DM m DM_CRYPT m MD y REISERFS_FS m BTRFS_FS y XFS_FS m JFS_FS y EXT4_FS y IP_PNP y IP_PNP_DHCP y NFS_FS y ROOT_NFS y TUN m NFS_V4 y NFS_V4_1 y NFS_FSCACHE y NFSD m NFSD_V2_ACL y NFSD_V3 y NFSD_V3_ACL y NFSD_V4 y NETFILTER y IP_NF_IPTABLES y IP_NF_FILTER y IP_NF_MATCH_ADDRTYPE y IP_NF_TARGET_LOG y IP_NF_MANGLE y IPV6 m VLAN_8021Q m CIFS y CIFS_XATTR y CIFS_POSIX y CIFS_FSCACHE y CIFS_ACL y ZRAM m # Fail to build DRM n SCSI_ADVANSYS n USB_ISP1362_HCD n SND_SOC n SND_ALI5451 n FB_SAVAGE n SCSI_NSP32 n ATA_SFF n SUNGEM n IRDA n ATM_HE n SCSI_ACARD n BLK_DEV_CMD640_ENHANCED n FUSE_FS m # nixos mounts some cgroup CGROUPS y # Latencytop LATENCYTOP y # Disable the common config Xen, it doesn't build on ARM XEN? n ''; kernelTarget = "zImage"; uboot = null; gcc = { # For gcc 4.8, the best for rpi2 would be: # cpu = "cortex-a7"; # fpu = "neon-vfpv4"; # But we prefer compatibility with the beaglebone, so both # can run the same built store paths. arch = "armv7-a"; fpu = "vfpv3-d16"; float = "hard"; }; }; guruplug = sheevaplug // { # Define `CONFIG_MACH_GURUPLUG' (see # ) # and other GuruPlug-specific things. Requires the `guruplug-defconfig' # patch. kernelBaseConfig = "guruplug_defconfig"; #kernelHeadersBaseConfig = "guruplug_defconfig"; }; versatileARM = { name = "versatileARM"; kernelMajor = "2.6"; kernelHeadersBaseConfig = "versatile_defconfig"; kernelBaseConfig = "versatile_defconfig"; kernelArch = "arm"; kernelAutoModules = false; kernelTarget = "zImage"; kernelExtraConfig = '' MMC_ARMMMCI y #MMC_SDHCI y SERIO_AMBAKMI y AEABI y RTC_CLASS y RTC_DRV_PL031 y PCI y SCSI y SCSI_DMA y SCSI_ATA y BLK_DEV_SD y BLK_DEV_SR y SCSI_SYM53C8XX_2 y TMPFS y IPV6 m REISERFS_FS m EXT4_FS m IP_PNP y IP_PNP_DHCP y IP_PNP_BOOTP y ROOT_NFS y ''; uboot = null; }; integratorCP = { name = "integratorCP"; kernelMajor = "2.6"; kernelHeadersBaseConfig = "integrator_defconfig"; kernelBaseConfig = "integrator_defconfig"; kernelArch = "arm"; kernelAutoModules = false; kernelTarget = "zImage"; kernelExtraConfig = '' # needed for qemu integrator/cp SERIAL_AMBA_PL011 y SERIAL_AMBA_PL011_CONSOLE y SERIAL_AMBA_PL010 n SERIAL_AMBA_PL010_CONSOLE n MMC_ARMMMCI y MMC_SDHCI y SERIO_AMBAKMI y CPU_ARM926T y ARCH_INTEGRATOR_CP y VGA_CONSOLE n AEABI y ''; uboot = null; ubootConfig = "integratorcp_config"; }; integratorCPuboot = integratorCP // { name = "integratorCPuboot"; kernelTarget = "uImage"; uboot = "upstream"; ubootConfig = "integratorcp_config"; }; fuloong2f_n32 = { name = "fuloong2f_n32"; kernelMajor = "2.6"; kernelHeadersBaseConfig = "fuloong2e_defconfig"; kernelBaseConfig = "lemote2f_defconfig"; kernelArch = "mips"; kernelAutoModules = false; kernelExtraConfig = '' MIGRATION n COMPACTION n # nixos mounts some cgroup CGROUPS y BLK_DEV_RAM y BLK_DEV_INITRD y BLK_DEV_CRYPTOLOOP m BLK_DEV_DM m DM_CRYPT m MD y REISERFS_FS m EXT4_FS m USB_STORAGE_CYPRESS_ATACB m IP_PNP y IP_PNP_DHCP y IP_PNP_BOOTP y NFS_FS y ROOT_NFS y TUN m NFS_V4 y NFS_V4_1 y NFS_FSCACHE y NFSD m NFSD_V2_ACL y NFSD_V3 y NFSD_V3_ACL y NFSD_V4 y # Fail to build DRM n SCSI_ADVANSYS n USB_ISP1362_HCD n SND_SOC n SND_ALI5451 n FB_SAVAGE n SCSI_NSP32 n ATA_SFF n SUNGEM n IRDA n ATM_HE n SCSI_ACARD n BLK_DEV_CMD640_ENHANCED n FUSE_FS m # Needed for udev >= 150 SYSFS_DEPRECATED_V2 n VGA_CONSOLE n VT_HW_CONSOLE_BINDING y SERIAL_8250_CONSOLE y FRAMEBUFFER_CONSOLE y EXT2_FS y EXT3_FS y REISERFS_FS y MAGIC_SYSRQ y # The kernel doesn't boot at all, with FTRACE FTRACE n ''; kernelTarget = "vmlinux"; uboot = null; gcc.arch = "loongson2f"; }; beaglebone = { name = "beaglebone"; kernelMajor = "2.6"; kernelHeadersBaseConfig = "omap2plus_defconfig"; kernelBaseConfig = "omap2plus_defconfig"; kernelArch = "arm"; kernelAutoModules = false; kernelExtraConfig = ""; # TBD kernel config kernelTarget = "zImage"; uboot = null; gcc = { arch = "armv7-a"; fpu = "vfpv3-d16"; float = "hard"; }; }; armv7l-hf-multiplatform = { name = "armv7l-hf-multiplatform"; kernelMajor = "2.6"; kernelHeadersBaseConfig = "multi_v7_defconfig"; kernelBaseConfig = "multi_v7_defconfig"; kernelArch = "arm"; kernelAutoModules = false; kernelExtraConfig = ""; kernelTarget = "zImage"; kernelDTB = true; uboot = null; gcc = { arch = "armv7-a"; fpu = "vfpv3-d16"; float = "hard"; }; }; }