{
  description = "sea.fudo.org deploy server.";
  rp = "niten";
  admin-email = "niten@fudo.org";
  domain = "sea.fudo.org";
  site = "seattle";
  profile = "server";
  tmp-on-tmpfs = false;
  arch = "x86_64-linux";
  nixos-system = false;
  machine-id = "edc4baa9cc1c401dba1bf870725b4bf0";
  master-key = {
    public-key =
      "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINmJJFbAV8P1V1LSZr56GJ5ul3LBgdapbh+MK3ixTsxf";
    key-path = "/state/master-key/key";
  };
  initrd-network = {
    ip = "10.0.5.10";
    interface = "enp1s0";
    keypair = {
      public-key =
        "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMLsxECiR4kqvUutMFkOTkIC8nsKK++aQ7HYiWjLdKdb";
      private-key-file = "/state/ssh/initrd/ssh_ed25519_key";
    };
  };
  hardened = true;
}