lab-infra/meta/network.nix

{
  dns01 = {
    interfaces = {
      ens18 = {
        ipv6 = [
          {
            address = "2a0e:e701:1120:1000:ffff::45.13.104.26";
            prefixLength = 64;
          }
        ];

        ipv4 = [
          {
            address = "45.13.104.26";
            prefixLength = 32;
          }
        ];

        gateways = [ "2a0e:e701:1120:1000::1" ];
        dns = [ "2a0e:e701:1120:1000::f:1" ];
      };
    };

    hostId = "1758233d";
  };
  homebox01 = {
    interfaces = {
      ens18 = {
        ipv4 = [
          {
            address = "129.199.146.102";
            prefixLength = 24;
          }
        ];

        gateways = [ "129.199.146.254" ];
        enableDefaultDNS = true;
      };
    };

    hostId = "ef3bd5c0";
  };
  krz01 = {
    interfaces = {
      vmbr0 = {
        ipv4 = [
          {
            address = "129.199.146.21";
            prefixLength = 24;
          }
          {
            address = "192.168.1.145";
            prefixLength = 24;
          }
        ];

        gateways = [ "129.199.146.254" ];
        enableDefaultDNS = true;
      };
    };

    hostId = "bd11e8fc";
    netbirdIp = "100.80.103.206";
  };
  labcore01 = {
    interfaces = {
      ens18 = {
        ipv6 = [
          {
            address = "2a0e:e701:1120:1000::f:1";
            prefixLength = 64;
          }
          {
            address = "2a0e:e701:1120:1000:ffff::45.13.104.25";
            prefixLength = 64;
          }
        ];

        gateways = [ "2a0e:e701:1120:1000::1" ];
        dns = [ "2a0e:e701:1120:1000::f:1" ];
      };
    };

    hostId = "4a370ef4";
  };
  router02 = {
    interfaces = { };

    addresses.ipv4 = [ "129.199.146.230" ];

    hostId = "144d0f7a";
  };
  photo01 = {
    interfaces = { };

    addresses.ipv4 = [ "129.199.146.101" ];

    hostId = "bcf8ff03";
  };
  status01 = {
    interfaces = {
      ens18 = {
        ipv4 = [
          {
            address = "129.199.146.103";
            prefixLength = 24;
          }
        ];

        gateways = [ "129.199.146.254" ];
        enableDefaultDNS = true;
      };
    };

    hostId = "7ce86f3d";
  };
}