anchor.diff:      };
     };
   
  -  raspberrypi2 = {
  +  raspberrypi2 = armv7l-hf-multiplatform // {
       name = "raspberrypi2";
  -    kernelMajor = "3.14";
  -    kernelHeadersBaseConfig = "multi_v7_defconfig";
       kernelBaseConfig = "bcm2709_defconfig";
  -    kernelArch = "arm";
       kernelDTB = true;
       kernelAutoModules = false;
       kernelExtraConfig =
  
positive.code:     gcc.arch = "loongson2f";
    };
    
    beaglebone = {
      name = "beaglebone";
      kernelMajor = "2.6";
      kernelHeadersBaseConfig = "multi_v7_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";
      };
    };
  }
  
negative.code:       '';
      kernelTarget = "zImage";
      uboot = null;
    };
  
    guruplug = sheevaplug // {
  