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