From 10a57d33d08d2c71518d70ab3d3f3b6303d9a4b2 Mon Sep 17 00:00:00 2001
From: Timo Wilken
Date: Wed, 22 Feb 2023 11:27:14 +0100
Subject: Fix SSH setup for CERN

---
 tw/system/cern.scm | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'tw/system/cern.scm')

diff --git a/tw/system/cern.scm b/tw/system/cern.scm
index 76cae0bf..31122abc 100644
--- a/tw/system/cern.scm
+++ b/tw/system/cern.scm
@@ -207,6 +207,11 @@
                      (string-append #$(file-append util-linux "/sbin/fstrim")
                                     " --fstab --verbose"))))
 
+      (simple-service 'arm-builders hosts-service-type
+        (list (host "188.184.68.217" "arm-builder-1")
+              (host "188.184.71.187" "arm-builder-2")
+              (host "188.184.69.33" "arm-builder-3")))
+
       (service openssh-service-type
         (openssh-configuration
          (port-number 22022)
-- 
cgit v1.2.3