[libdefaults] default_realm = BERKELEY.EDU [realms] BERKELEY.EDU = { kdc = kerberos.berkeley.edu:88 }