More kerberos information is available in pub/kerberos/doc.