Rodrigo Arias Mallo 74639d3ece 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