01/01: hydra: berlin: Connect 10G port.

[Ricardo Wurmus]

rekado pushed a commit to branch master
in repository maintenance.

commit 438e4c1986ca6c50f39995ea6ed3463c7aa3c94a
Author: Ricardo Wurmus <address@hidden>
Date:   Wed Aug 7 15:29:06 2019 +0200

    hydra: berlin: Connect 10G port.
    
    * hydra/berlin.scm: Use 10G port for 141.80.181.40; use .41 on 1G
    port.
---
 hydra/berlin.scm | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/hydra/berlin.scm b/hydra/berlin.scm
index 70a917d..5dd9d5a 100644
--- a/hydra/berlin.scm
+++ b/hydra/berlin.scm
@@ -133,7 +133,13 @@ Happy hacking!\n"))
 
   (services (cons*
              ;; Connection to the DMZ for public access
+             ;; This is a 1G port only
              (static-networking-service "eno1"
+                                        "141.80.181.41"
+                                        #:netmask "255.255.255.0"
+                                        #:gateway "141.80.181.1")
+             ;; This is a 10G port.
+             (static-networking-service "enp129s0f0"
                                         "141.80.181.40"
                                         #:netmask "255.255.255.0"
                                         #:gateway "141.80.181.1")