anchor.diff:  { system, pkgs}:
   with pkgs;
  -{
  +rec {
     pc = assert system == "i686-linux" || system == "x86_64-linux"; {
       name = "pc";
       uboot = null;
  
positive.code:         MMC_ARMMMCI y
          MMC_SDHCI y
          SERIO_AMBAKMI y
        '';
      uboot = null;
    };
  
negative.code:         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";
    };
  