anchor.diff:        CONFIG_UNXZ y
       '';
     }).crossDrv;
  -  
  +
     inherit pkgs;
   
  -  build = 
  +  build =
   
       stdenv.mkDerivation {
         name = "build";
  
positive.code:       inherit (platform) gcc;
      };
    };
    
    selectedCrossSystem =
      if toolsArch == "armv5tel" then sheevaplugCrossSystem else
      if toolsArch == "armv6l" then raspberrypiCrossSystem else
  
negative.code:       openssl.system = "linux-generic32";
      };
    };
  
    raspberrypiCrossSystem = {
      crossSystem = rec {
        config = "armv6l-unknown-linux-gnueabi";
        bigEndian = false;
        arch = "arm";
        float = "hard";
  