From bf424da57a49ed2c0834cf958e92d41a00ef0aff Mon Sep 17 00:00:00 2001 From: Wanja Zaeske Date: Tue, 2 Apr 2024 18:20:20 +0200 Subject: [PATCH] chore: replace armv7a by armv7l for consistency --- flake.nix | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/flake.nix b/flake.nix index 1a42382..96e5993 100644 --- 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 {