anchor.diff:  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 {
  
positive.code: }
  
  ); in {
      armv6l = buildFor "armv6l";
      armv7l = buildFor "armv7l";
  }
  
negative.code:   };
    
    selectedCrossSystem =
      if toolsArch == "armv5tel" then sheevaplugCrossSystem else
      if toolsArch == "armv6l" then raspberrypiCrossSystem else
      if toolsArch == "armv7l" then beagleboneCrossSystem else null;
  
  