{
  jefke = {
    name = "jefke";
    hostName = "jefke.hyp";

    nixosModule.custom = {
      dataDisk.enable = true;
      terraformDatabase.enable = true;
      # k3s.enable = true;
      disko.osDiskDevice = "/dev/nvme0n1";

      ssh = {
        useCertificates = true;
        hostCert = builtins.readFile ./jefke_host_ed25519-cert.pub;
        userCert = builtins.readFile ./jefke_user_ed25519-cert.pub;
      };
    };
  };

  atlas = {
    name = "atlas";
    hostName = "atlas.hyp";

    nixosModule.custom = {
      disko.osDiskDevice = "/dev/nvme0n1";

      ssh = {
        useCertificates = true;
        hostCert = builtins.readFile ./atlas_host_ed25519-cert.pub;
        userCert = builtins.readFile ./atlas_user_ed25519-cert.pub;
      };
    };
  };

  # lewis = {
  #   name = "lewis";
  #   hostName = "lewis.hyp";

  #   nixosModule.custom = {
  #     disko.osDiskDevice = "/dev/sda";

  #     dataDisk = {
  #       enable = true;
  #       devicePath = "/dev/nvme0n1p1";
  #     };

  #     ssh = {
  #       useCertificates = true;
  #       hostCert = builtins.readFile ./atlas_host_ed25519-cert.pub;
  #       userCert = builtins.readFile ./atlas_user_ed25519-cert.pub;
  #     };
  #   };
  # };
}