anchor.diff:    };
     
     selectedCrossSystem =
  +    if toolsArch == "armv5tel" then sheevaplugCrossSystem else
       if toolsArch == "armv6l" then raspberrypiCrossSystem else
       if toolsArch == "armv7l" then beagleboneCrossSystem else null;
   
  
positive.code: }
  
  ); in {
      armv6l = buildFor "armv6l";
      armv7l = buildFor "armv7l";
  }
  
negative.code: let
    pkgsFun = import ../../top-level/all-packages.nix;
    pkgsNoParams = pkgsFun {};
    
    sheevaplugCrossSystem = {
      crossSystem = rec {
        config = "armv5tel-unknown-linux-gnueabi";
        bigEndian = false;
        arch = "arm";
        float = "soft";
        withTLS = true;
        libc = "glibc";
        platform = pkgsNoParams.platforms.sheevaplug;
        openssl.system = "linux-generic32";
      };
    };
    
    raspberrypiCrossSystem = {
      crossSystem = rec {
  