pkgs/top-level/platforms.nix

   1 { system, pkgs}:
   2 with pkgs;
   3 {
   4   pc = assert system == "i686-linux" || system == "x86_64-linux"; {
   5     name = "pc";
   6     uboot = null;
   7     kernelBaseConfig = "defconfig";
   8     kernelExtraConfig =
   9       ''
  10         # Virtualisation (KVM, Xen...).
  11         PARAVIRT_GUEST y
  12         KVM_CLOCK y
  13         KVM_GUEST y
  14         XEN y
  15         KSM y
  16
  17         # We need 64 GB (PAE) support for Xen guest support.
  18         HIGHMEM64G? y
  19       '';
  20   };
  21
  22   sheevaplug = assert system == "armv5tel-linux"; {
  23     name = "sheevaplug";
  24     kernelBaseConfig = "kirkwood_defconfig";
  25     kernelArch = "arm";
  26     kernelExtraConfig =
  27       ''
  28         BLK_DEV_RAM y
  29         BLK_DEV_INITRD y
  30         MD y
  31
  32         # Fail to build
  33         DRM n
  34         SCSI_ADVANSYS n
  35         USB_ISP1362_HCD n
  36         SND_SOC n
  37         SND_ALI5451 n
  38         FB_SAVAGE n
  39         SCSI_NSP32 n
  40         ATA_SFF n
  41         SUNGEM n
  42         IRDA n
  43         ATM_HE n
  44         SCSI_ACARD n
  45         BLK_DEV_CMD640_ENHANCED n
  46       '';
  47     inherit uboot;
  48   };
  49
  50   versatileARM = assert system == "armv5tel-linux"; {
  51     name = "versatileARM";
  52     kernelBaseConfig = "versatile_defconfig";
  53     kernelArch = "arm";
  54     uboot = null;
  55   };
  56 }