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

    nixosModule.lab = {
      # TODO: can we do this differently?
      storage = {
        osDisk = "/dev/sda";
      };
    };
  };
}