From 72f965943047536a5efff270683eb3945df8d264 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias <rodrigo.arias@bsc.es>
Date: Thu, 6 Apr 2023 13:58:24 +0200
Subject: [PATCH] Enable IPoIB and set the infiniband IP

---
 net.nix | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/net.nix b/net.nix
index 23547b8..550423e 100644
--- a/net.nix
+++ b/net.nix
@@ -1,6 +1,10 @@
-{ ... }:
+{ pkgs, ... }:
 
 {
+  # Infiniband (IPoIB)
+  environment.systemPackages = [ pkgs.rdma-core ];
+  boot.kernelModules = [ "ib_umad" "ib_ipoib" ];
+
   networking = {
     hostName = "xeon07";
 
@@ -14,6 +18,11 @@
       prefixLength = 24;
     } ];
 
+    interfaces.ibp5s0.ipv4.addresses = [ {
+      address = "10.0.42.7";
+      prefixLength = 24;
+    } ];
+
     proxy = {
       default = "http://localhost:23080/";
       noProxy = "127.0.0.1,localhost,internal.domain";