anchor.diff:        libc = "glibc";
         openssl.system = "linux-generic32";
       };
  -  in mapTestOnCross crossSystem (basic // {
  +  in mapTestOnCross crossSystem (linuxCommon // {
       ubootSheevaplug = nativePlatforms;
     });
   
  
positive.code:         abi = "n32";
        };
      };
    in mapTestOnCross crossSystem {
      coreutils = nativePlatforms;
      ed = nativePlatforms;
      patch = nativePlatforms;
    };
  
  
    /* Linux on Raspberrypi */
  
negative.code:       libc = "msvcrt"; # This distinguishes the mingw (non posix) toolchain
        platform = {};
      };
    in mapTestOnCross crossSystem windowsCommon;
  
  
    /* Linux on the fuloong */
  