nixcfg/machines/manager/network.nix

{
  networking.interfaces."enp11s0f0" = { };
  networking.interfaces."enp11s0f1" = { };

  networking.bonds."data" = {
    interfaces = [ "enp11s0f0" "enp11s0f1" ];
    driverOptions = {
      miimon = "100";
      mode = "802.3ad";
    };
  };

  networking.vlans."mngt" = {
    id = 1032;
    interface = "data";
  };

  networking.interfaces."data" = {
    ipv4.addresses = [{
      address = "10.32.47.10";
      prefixLength = 24;
    }];
  };

  # This is not our real management interface but the hosts interface to the
  # manangement network
  networking.interfaces."mngt" = {
    ipv4.addresses = [{
      address = "10.32.46.253";
      prefixLength = 24;
    }];
  };

  networking.defaultGateway = {
    address = "10.32.47.1";
    interface = "data";
  };

  hpc.dhcp.reservations = {
    "mngt" = {
      hwAddress = "e4:1f:13:28:c7:b9";
      ipAddress = "10.32.46.10";
    };
  };
}