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