{
  description = "Seattle Gateway Server.";
  rp = "niten";
  admin-email = "niten@fudo.org";
  domain = "sea.fudo.org";
  site = "seattle";
  profile = "server";
  tmp-on-tmpfs = true;
  arch = "x86_64-linux";
  nixos-system = true;
  machine-id = "8b9d72d3cf174137b4cb3f3aaca6ded8";
  master-key = {
    public-key =
      "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIBeYpIMPm71nND0g33KX6GrSPvToiXww3ZQBWsHE0fhk";
    key-path = "/state/master-key/key";
  };
  hardened = true;
}