Rodrigo Arias Mallo ef2ffa61c3 Update ib interface name in xeon02 ...

It seems to be plugged in another PCI port

2023-04-27 18:29:32 +02:00

..

configuration.nix

Update ib interface name in xeon02

2023-04-27 18:29:32 +02:00