{ ... }:
{
  nix.distributedBuilds = true;

  nix.buildMachines = [
    {
      hostName = "m4";
      system = "aarch64-darwin";
      maxJobs = 4;
      speedFactor = 3;
      sshUser = "harald";
      sshKey = "/etc/ssh/nix-builder-key";
    }
    {
      hostName = "rialo";
      system = "aarch64-darwin";
      maxJobs = 4;
      speedFactor = 3;
      sshUser = "harald";
      sshKey = "/etc/ssh/nix-builder-key";
    }
    {
      hostName = "sgx";
      system = "x86_64-linux";
      maxJobs = 4;
      speedFactor = 1;
      sshUser = "harald";
      sshKey = "/etc/ssh/nix-builder-key";
    }
  ];

  # Ensure Nix is in PATH for SSH sessions
  programs.fish.shellInit = ''
    set -gx PATH /nix/var/nix/profiles/default/bin $PATH
    set -gx PATH /run/current-system/sw/bin $PATH
  '';

  nix.settings.download-buffer-size = 524288000;
}