wip

DLR-FT · Apr 24, 2024 · e4e2861 · e4e2861
1 parent ce2e0c1
commit e4e2861
Showing 1 changed file with 1 addition and 13 deletions.
diff --git a/flake.nix b/flake.nix
@@ -190,18 +190,6 @@
           }).callPackage pkgs/seL4-test.nix
             { extraCmakeFlags = [ "-DPLATFORM=zcu102" ]; };
 
-          seL4-test-aarch64-zcu102-simulate = (import nixpkgs {
-            inherit system;
-            crossSystem.config = "aarch64-unknown-linux-musl";
-            overlays = [ self.overlays.default ];
-          }).callPackage pkgs/seL4-test.nix
-            {
-              extraCmakeFlags = [
-                "-DPLATFORM=zcu102"
-                "-DSIMULATION=1"
-              ];
-            };
-
 
           seL4-test-armv7l-rpi3 = (import nixpkgs {
             inherit system;
@@ -427,7 +415,7 @@
             let
               pkgsCross = (import nixpkgs {
                 inherit system;
-                crossSystem.config = "armv7l-unknown-linux-gnu";
+                crossSystem.config = "armv7l-unknown-linux-gnueabi";
                 overlays = [
                   self.overlays.default
                   # seL4's musllibc fork can't stand modern bintools because its too old.