From 294868e5226f1863a8c7a0a3598cd487e194739c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9ana=20=E6=B1=9F?= <leana.jiang+git@icloud.com>
Date: Sat, 17 Jan 2026 23:57:27 +0100
Subject: [PATCH] vanadium: configure remote builders

---
 nix/configurations/vanadium.nix               |  1 +
 .../vanadium/nixos/remote-builders.nix        | 29 +++++++++++++++++++
 2 files changed, 30 insertions(+)
 create mode 100644 nix/configurations/vanadium/nixos/remote-builders.nix

diff --git a/nix/configurations/vanadium.nix b/nix/configurations/vanadium.nix
index 2f4bec34..99d9c96d 100644
--- a/nix/configurations/vanadium.nix
+++ b/nix/configurations/vanadium.nix
@@ -94,6 +94,7 @@ in
     ./vanadium/nixos/input.nix
 
     ./vanadium/nixos/misc.nix
+    ./vanadium/nixos/remote-builders.nix
 
     ./vanadium/nixos/display.nix
     ./vanadium/nixos/gui.nix
diff --git a/nix/configurations/vanadium/nixos/remote-builders.nix b/nix/configurations/vanadium/nixos/remote-builders.nix
new file mode 100644
index 00000000..87a21592
--- /dev/null
+++ b/nix/configurations/vanadium/nixos/remote-builders.nix
@@ -0,0 +1,29 @@
+let
+  supportedFeatures = [
+    "nixos-test"
+    "benchmark"
+    "big-parallel"
+    "kvm"
+  ];
+in
+{pkgs, ...}:
+{
+  nix.buildMachines = [
+    # NOTE: these hosts need to be put in the .ssh/config of root.
+    # https://wiki.nixos.org/wiki/Distributed_build#Recommended_setup:_multi-user_Nix_local_%E2%80%93%3E_multi-user_Nix_remote
+    {
+      hostName = "pancake";
+      sshUser = "remotebuild";
+      speedFactor = 2;
+      system = pkgs.stdenv.hostPlatform.system;
+      inherit supportedFeatures;
+    }
+    {
+      hostName = "hetzner_benchmark";
+      sshUser = "remotebuild";
+      speedFactor = 12;
+      system = pkgs.stdenv.hostPlatform.system;
+      inherit supportedFeatures;
+    }
+  ];
+}