Enable IPoIB and set the infiniband IP

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";