anchor.diff:      license = "GPLv2";
       homepage = http://www.kernel.org/;
       maintainers = [ lib.maintainers.eelco ];
  +    platforms = lib.platforms.linux;
     } // extraMeta;
   }
  
positive.code:     # Combine the `features' attribute sets of all the kernel patches.
      features = lib.fold (x: y: (if x ? features then x.features else {}) // y) features kernelPatches;
    };
    
    builder = ./builder.sh;
  
    generateConfig = ./generate-config.pl;
  
negative.code:   kernelBaseConfig = stdenv.platform.kernelBaseConfig;
    kernelTarget = stdenv.platform.kernelTarget;
    autoModules = stdenv.platform.kernelAutoModules;
  
    # Should we trust platform.kernelArch? We can only do
    # that once we differentiate i686/x86_64 in platforms.
    arch =
  