lab-infra/meta/network.nix

let
  mkRoutexp =
    l:
    builtins.listToAttrs (
      builtins.map (
        { id, hostId, ... }:
        {
          name = "routexp${id}";
          value = {
            interfaces = {
              ens18 = {
                ipv6 = [
                  {
                    address = "2a0e:e701:1120:1000::1000:${id}";
                    prefixLength = 64;
                  }
                ];
                gateways = [ "2a0e:e701:1120:1000::1" ];
                dns = [ "2a0e:e701:1120:1000::f:1" ];
              };
            };
            inherit hostId;
          };
        }
      ) l
    );
in
{

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

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

    vpnKeys = {
      wg-mgmt = {
        id = 1;
        key = "PN8/zo1Clue7jAnkvaUOg1ZdmcXmcTb6kIRpu5cplHs=";
      };
    };

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

    addresses.ipv4 = [ "129.199.146.101" ];

    hostId = "bcf8ff03";
  };
  roam01 = {
    interfaces = { };

    vpnKeys = {
      wg-mgmt = {
        id = 2;
        key = "Yg1GwHbJ7kwNbnjxI+5LtgDvzMPMiOm3EgI/saLI7FU=";
      };
    };

    hostId = "999dc679";
  };
}
// mkRoutexp (import ./routexp.nix)