[logging]
  default = FILE:/var/log/krb5libs.log
  kdc = FILE:/var/log/krb5kdc.log
  admin_server = FILE:/var/log/kadmind.log

[libdefaults]
  default_realm = UIO.NO
  dns_lookup_realm = false
  dns_lookup_kdc = true
  ticket_lifetime = 24h
  renew_lifetime = 7d
  forwardable = true

[realms]
  UIO.NO = {
    kdc = uiodc01.uio.no
    kdc = uiodc02.uio.no
    kdc = uiodc05.uio.no
    admin_server = uiodc05.uio.no
  }

[domain_realm]
  .uio.no = UIO.NO
  uio.no = UIO.NO