{
  jefke = {
    name = "jefke";
    hostname = "jefke.hyp";
    user-cert = builtins.readFile ./jefke_user_ed25519-cert.pub;
    host-cert = builtins.readFile ./jefke_host_ed25519-cert.pub;
  };
}