136 lines
2.8 KiB
Nix
136 lines
2.8 KiB
Nix
{ system, pkgs}:
|
|
with pkgs;
|
|
rec {
|
|
pc = assert system == "i686-linux" || system == "x86_64-linux"; {
|
|
name = "pc";
|
|
uboot = null;
|
|
kernelBaseConfig = "defconfig";
|
|
# Build whatever possible as a module, if not stated in the extra config.
|
|
kernelAutoModules = true;
|
|
kernelTarget = "bzImage";
|
|
kernelExtraConfig =
|
|
''
|
|
# Virtualisation (KVM, Xen...).
|
|
PARAVIRT_GUEST y
|
|
KVM_CLOCK y
|
|
KVM_GUEST y
|
|
XEN y
|
|
KSM y
|
|
|
|
# We need 64 GB (PAE) support for Xen guest support.
|
|
HIGHMEM64G? y
|
|
'';
|
|
};
|
|
|
|
sheevaplug = {
|
|
name = "sheevaplug";
|
|
kernelBaseConfig = "kirkwood_defconfig";
|
|
kernelArch = "arm";
|
|
kernelAutoModules = false;
|
|
kernelExtraConfig =
|
|
''
|
|
BLK_DEV_RAM y
|
|
BLK_DEV_INITRD y
|
|
BLK_DEV_DM m
|
|
MD y
|
|
REISERFS_FS m
|
|
EXT4_FS m
|
|
USB_STORAGE_CYPRESS_ATACB m
|
|
|
|
CONFIG_IP_PNP y
|
|
CONFIG_NFS_FS y
|
|
CONFIG_ROOT_NFS 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
|
|
|
|
IP_PNP y
|
|
'';
|
|
kernelTarget = "uImage";
|
|
uboot = ubootSheevaplug;
|
|
# Only for uboot = uboot :
|
|
ubootConfig = "sheevaplug_config";
|
|
};
|
|
|
|
versatileARM = {
|
|
name = "versatileARM";
|
|
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";
|
|
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 = uboot;
|
|
ubootConfig = "integratorcp_config";
|
|
};
|
|
}
|