chore: replace armv7a by armv7l for consistency

DLR-FT · Apr 2, 2024 · bf424da · bf424da
1 parent 73bc598
commit bf424da
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/flake.nix b/flake.nix
@@ -142,25 +142,25 @@
             { extraCmakeFlags = [ "-DPLATFORM=zcu102" ]; };
 
 
-          seL4-test-armv7a-rpi3 = (import nixpkgs {
+          seL4-test-armv7l-rpi3 = (import nixpkgs {
             inherit system;
-            crossSystem.config = "armv7a-unknown-linux-musleabihf";
+            crossSystem.config = "armv7l-unknown-linux-musleabihf";
             overlays = [ self.overlays.default ];
           }).callPackage pkgs/seL4-test.nix
             { extraCmakeFlags = [ "-DPLATFORM=rpi3" ]; };
 
 
-          seL4-test-armv7a-zynq7000 = (import nixpkgs {
+          seL4-test-armv7l-zynq7000 = (import nixpkgs {
             inherit system;
-            crossSystem.config = "armv7a-unknown-linux-musleabihf";
+            crossSystem.config = "armv7l-unknown-linux-musleabihf";
             overlays = [ self.overlays.default ];
           }).callPackage pkgs/seL4-test.nix
             { extraCmakeFlags = [ "-DPLATFORM=zynq7000" ]; };
 
 
-          seL4-test-armv7a-zynq7000-simulate = (import nixpkgs {
+          seL4-test-armv7l-zynq7000-simulate = (import nixpkgs {
             inherit system;
-            crossSystem.config = "armv7a-unknown-linux-musleabihf";
+            crossSystem.config = "armv7l-unknown-linux-musleabihf";
             overlays = [ self.overlays.default ];
           }).callPackage pkgs/seL4-test.nix
             {