{
  machines.warwick = {
    arch = "aarch64-linux";
    isRaspberryPi = true;

    nixosModule = {
      lab.monitoring.server.enable = true;

      services.bird2 = {
        enable = false;
        config = builtins.readFile ./bird.conf;
      };

      systemd.network = {
        netdevs = {
          hamgre = {
            netdevConfig = {
              Name = "hamgre";
              Kind = "gre";
              MTUBytes = "1468";
            };

            tunnelConfig = {
              Remote = "145.220.78.4";
              #Local = "192.145.57.90";
            };
          };

          # hambr = {
          #   netdevConfig = {
          #     Name = "hambr";
          #     Kind = "bridge";
          #   };
          # };
        };

        networks = {
          "30-main-nic".networkConfig.Tunnel = "hamgre";

          "40-hamgre" = {
            matchConfig.Name = "hamgre";

            networkConfig = {
              Address = "44.137.61.34/30";
            };
          };

          # "40-hambr" = {
          #   matchConfig.Name = "hambr";

          # };
        };
      };
    };
  };
}