{
  description = "Fudo.org server.";
  rp = "admin";
  admin-email = "admin@fudo.org";
  domain = "fudo.org";
  site = "portage";
  profile = "server";
  arch = "x86_64-linux";
  machine-id = "64156f6159c22db23224254264fd2695";
  nixos-system = true;
  master-key = {
    public-key =
      "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINtTmYtnN8oNWeQz8t2f8/OzX+AQHg7oOq8QEGyLg5cd";
    key-path = "/state/master-key/ssh_ed25519_key";
  };
}