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

    nixosModule = { lib, ... }: {
      lab = {
        monitoring.server.enable = true;
        tailscale.advertiseExitNode = 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";

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