From 022e191dd0f207a3e9ca5d7ac767bbc5c8875c8f Mon Sep 17 00:00:00 2001
From: Craige McWhirter <craige.mcwhirter@iohk.io>
Date: Fri, 6 Mar 2020 23:52:02 +1000
Subject: [PATCH] Added nix-community aarch64 build server

---
 roles/nix-community.nix | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 roles/nix-community.nix

diff --git a/roles/nix-community.nix b/roles/nix-community.nix
new file mode 100644
index 0000000..f749450
--- /dev/null
+++ b/roles/nix-community.nix
@@ -0,0 +1,18 @@
+# Use the Nix community aarch64 server as a build server
+# https://github.com/nix-community/aarch64-build-box
+
+{
+  nix = {
+    distributedBuilds = true;
+    buildMachines = [
+      {
+        hostName = "aarch64.nixos.community";
+        maxJobs = 64;
+        sshKey = "/root/.ssh/id_nixops_ed25519";
+        sshUser = "craige";
+        system = "aarch64-linux";
+        supportedFeatures = [ "big-parallel" ];
+      }
+    ];
+  };
+}