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

    specificConfig = {
      custom = {
        dataDisk.enable = true;

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

        terraformDatabase.enable = true;
      };

      disko.devices = {
        disk = {
          vdb = {
            device = "/dev/nvme0n1";
            type = "disk";
            content = {
              type = "gpt";
              partitions = {
                ESP = {
                  type = "EF00";
                  size = "500M";
                  content = {
                    type = "filesystem";
                    format = "vfat";
                    mountpoint = "/boot";
                  };
                };
                root = {
                  end = "-4G";
                  content = {
                    type = "filesystem";
                    format = "btrfs";
                    mountpoint = "/";
                  };
                };
                swap = { size = "100%"; };
              };
            };
          };
        };
      };
    };
  };

  bancomart = {
    name = "bancomart";
    hostname = "bancomart.dmz";

    specificConfig = {
      disko.devices = {
        disk = {
          vda = {
            device = "/dev/vda";
            type = "disk";
            content = {
              type = "gpt";
              partitions = {
                boot = {
                  size = "1M";
                  type = "EF02"; # for grub MBR
                };
                root = {
                  size = "100%";
                  content = {
                    type = "filesystem";
                    format = "ext4";
                    mountpoint = "/";
                  };
                };
              };
            };
          };
        };
      };

    };
  };
}