Add guix-hpc6 machine.

* guix-hpc6.scm, guix/keys/guix-hpc6.pub: New files.
* head-node.scm, build-node.scm: Add key file entry for guix-hpc6.
* deploy.scm: Add entry for guix-hpc6.
* README.org: Fix phrasing.

README.org

@@ -29,7 +29,7 @@ Obtain a clone of this repository on that machine and run:
 
 ** Remote deployment
 
-You can deploy Guix System on all three machines remotely with [[https://guix.gnu.org/manual/devel/en/html_node/Invoking-guix-deploy.html][guix
+You can deploy Guix System on all machines remotely with [[https://guix.gnu.org/manual/devel/en/html_node/Invoking-guix-deploy.html][guix
 deploy]] following by running:
 
   #+begin_src sh

build-node.scm

@@ -26,7 +26,8 @@
                                        (local-file "guix/keys/guix-hpc1.pub")
                                        (local-file "guix/keys/guix-hpc3.pub")
                                        (local-file "guix/keys/guix-hpc4.pub")
-                                       (local-file "guix/keys/guix-hpc5.pub"))
+                                       (local-file "guix/keys/guix-hpc5.pub")
+                                       (local-file "guix/keys/guix-hpc6.pub"))
                                  (guix-configuration-authorized-keys config)))
                         (build-accounts 40)
 

deploy.scm

@@ -51,4 +51,12 @@
                        (system "x86_64-linux")
                        (host-name "guix-hpc5")
                        (host-key
-                        "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIC3yWg6cbs8xDR43e/LEMRYpsDInRCUdtytliSMOhxjQ root@(none)")))))
+                        "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIC3yWg6cbs8xDR43e/LEMRYpsDInRCUdtytliSMOhxjQ root@(none)"))))
+      (machine
+       (operating-system (load-operating-system "guix-hpc6.scm"))
+       (environment managed-host-environment-type)
+       (configuration (machine-ssh-configuration
+                       (system "x86_64-linux")
+                       (host-name "guix-hpc6")
+                       (host-key
+                        "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIG2wXmXULCOeYKanz+HuHYRfv1SU/EEZ5/E+0Hy1eCl0 root@(none)")))))

guix-hpc6.scm

+;;; Configuration of the guix-hpc6 build node.
+
+(use-modules (gnu))
+
+(let ((base-os (load "build-node.scm")))
+  (operating-system
+    (inherit base-os)
+    (host-name "guix-hpc6")
+
+    ;; This is a UEFI setup.
+    (bootloader (bootloader-configuration
+                  (bootloader grub-efi-bootloader)
+                  (targets (list "/boot/efi"))))
+
+    (initrd-modules (append (list "megaraid_sas")
+                            %base-initrd-modules))
+
+    (file-systems (append (list (file-system
+                                  (mount-point "/")
+                                  (device (uuid "854db524-6b7e-442b-bcf7-daee27bbf5fd"
+                                                'ext4))
+                                  (type "ext4")))
+                          %base-file-systems))
+
+    (swap-devices (list (swap-space
+                         (target (uuid "349fbf68-f690-43cf-95fb-9304ddd42079")))))
+
+    (services
+     ;; Configure networking.
+     (cons  (service static-networking-service-type
+                     (list (static-networking
+                            (addresses (list (network-address
+                                              (device "eno3")
+                                              (value "194.199.1.7/27"))))
+                            (routes (list (network-route
+                                           (destination "default")
+                                           (gateway "194.199.1.30"))))
+                            (name-servers '("193.50.111.150")))))
+
+            (operating-system-user-services base-os)))))

guix/keys/guix-hpc6.pub

+(public-key 
+ (ecc 
+  (curve Ed25519)
+  (q #DAAD0F144E9C1169489517097C91CEF53254A3AE68214F04024821F5306F00AF#)
+  )
+ )

head-node.scm

@@ -30,7 +30,8 @@
                                        (local-file "guix/keys/guix-hpc1.pub")
                                        (local-file "guix/keys/guix-hpc3.pub")
                                        (local-file "guix/keys/guix-hpc4.pub")
-                                       (local-file "guix/keys/guix-hpc5.pub"))
+                                       (local-file "guix/keys/guix-hpc5.pub")
+                                       (local-file "guix/keys/guix-hpc6.pub"))
                                  (guix-configuration-authorized-keys config)))
                         (build-accounts 60)