{
  description = "fudo.org server.";
  rp = "reaper";
  admin-email = "reaper@fudo.org";
  domain = "fudo.org";
  site = "pioneer";
  profile = "server";
  enable-gui = false;
  arch = "x86_64-linux";
  nixos-system = true;
  machine-id = "d608fb62dc1e493a9a0ebf173ab255b2";
  master-key = {
    public-key = FIXME;
    key-path = "/state/master-key/ed25519_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";
  #   };
  # };
}