# To set additional options for krb5kdc, add them in the variable below: KRB5KDC_OPTIONS=""