{
  description = "eur.fudo.org server.";
  rp = "niten";
  admin-email = "niten@fudo.org";
  domain = "fudo.org";
  site = "worldstream";
  profile = "server";
  tmp-on-tmpfs = false;
  enable-gui = false;
  arch = "x86_64-linux";
  nixos-system = true;
  machine-id = "749bbf411088411b8784b76bb44bd617";
  master-key = {
    public-key =
      "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIB8ZK5w/ONK8/ztTh5NYI48mZX7GXEz2uyl0XqDaJ2ql";
    key-path = "/state/master-key/key";
  };
  # initrd-network = {
  #   ip = "172.86.179.18";
  #   interface = "enp0s25";
  #   keypair = {
  #     public-key = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIIgvl/pxPGN5XuUFsEywHV/PJMI+wPHA6NKTtE8SZC04";
  #     private-key-file = "/state/ssh/initrd/ssh_ed25519_key";
  #   };
  # };
}