Add a build for the yubikey management raspberry pi image.

2025-10-05 21:49:03 -04:00
parent 3d9513f2c5
commit 3733e76d18
19 changed files with 981 additions and 0 deletions
--- a/nix/configuration/roles/distributed_build/default.nix
+++ b/nix/configuration/roles/distributed_build/default.nix
@@ -87,6 +87,9 @@ in
              ];
              maxJobs = 1;
              supportedFeatures = [
+                "gccarch-armv6"
+                "gccarch-aarch64"
+                "gccarch-riscv64"
                "nixos-test"
                "benchmark"
                "big-parallel"
--- a/nix/configuration/roles/emulate_isa/default.nix
+++ b/nix/configuration/roles/emulate_isa/default.nix
@@ -26,6 +26,14 @@
          # TODO: Should "x86_64-linux" be in this list or should this list be dependent on the host CPU?
          "armv6l-linux" # Raspberry Pi gen 1
        ];
+
+        me.optimizations = {
+          system_features = [
+            "gccarch-armv6"
+            "gccarch-aarch64"
+            "gccarch-riscv64"
+          ];
+        };
      }
    ]
  );