anchor.diff:        '';
       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 // {
  
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:     };
    };
  
    raspberrypi2 = armv7l-hf-multiplatform // {
      name = "raspberrypi2";
      kernelBaseConfig = "bcm2709_defconfig";
      kernelDTB = true;
      kernelAutoModules = false;
      kernelExtraConfig =
  