nixos-servers/machines/default.nix

{
  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;
        };
      };
    };
  };
}