···

       
63
       
 
       
  };

     

       
64
       
 
       


     

       
65
       
 
       
  scaleway-c1-crossSystem.crossSystem = armv7l-hf-multiplatform-crossSystem.crossSystem // rec {

     

       
66
       
-
       
    platform = pkgsNoParams.platforms.scaleway-c1;

     

       
67
       
 
       
    inherit (platform) gcc;

     

       
68
       
 
       
    inherit (gcc) fpu;

     

       
69
       
 
       
  };

     
···

       
73
       
 
       
    config = "armv5tel-softfloat-linux-gnueabi";

     

       
74
       
 
       
    float = "soft";

     

       
75
       
 
       


     

       
76
       
-
       
    platform = pkgsNoParams.platforms.pogoplug4;

     

       
77
       
 
       


     

       
78
       
-
       
    inherit (pkgsNoParams.platforms.pogoplug4) gcc;

     

       
79
       
 
       
    libc = "glibc";

     

       
80
       
 
       


     

       
81
       
 
       
    withTLS = true;

     

···

       
63
       
 
       
  };

     

       
64
       
 
       


     

       
65
       
 
       
  scaleway-c1-crossSystem.crossSystem = armv7l-hf-multiplatform-crossSystem.crossSystem // rec {

     

       
66
       
+
       
    platform = lib.systems.platforms.scaleway-c1;

     

       
67
       
 
       
    inherit (platform) gcc;

     

       
68
       
 
       
    inherit (gcc) fpu;

     

       
69
       
 
       
  };

     
···

       
73
       
 
       
    config = "armv5tel-softfloat-linux-gnueabi";

     

       
74
       
 
       
    float = "soft";

     

       
75
       
 
       


     

       
76
       
+
       
    platform = lib.systems.platforms.pogoplug4;

     

       
77
       
 
       


     

       
78
       
+
       
    inherit (lib.systems.platforms.pogoplug4) gcc;

     

       
79
       
 
       
    libc = "glibc";

     

       
80
       
 
       


     

       
81
       
 
       
    withTLS = true;