nixos-servers/nix/machines/warwick.nix

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

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