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