{ 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"; # # }; # }; #}; }; }; }