anchor.diff:    };
     
     selectedCrossSystem =
  +    if toolsArch == "armv5tel" then sheevaplugCrossSystem else
       if toolsArch == "armv6l" then raspberrypiCrossSystem else
       if toolsArch == "armv7l" then beagleboneCrossSystem else null;
   
  
positive.code: let
    pkgsFun = import ../../top-level/all-packages.nix;
    pkgsNoParams = pkgsFun {};
    
    raspberrypiCrossSystem = {
      crossSystem = rec {
  
negative.code: }
  
  ); in {
      armv5tel = buildFor "armv5tel";
      armv6l = buildFor "armv6l";
      armv7l = buildFor "armv7l";
  }
  