{ machines.warwick = { kind = "physical"; arch = "aarch64-linux"; isRaspberryPi = true; nixosModule = { lab.monitoring.server.enable = true; }; }; }