# $Id: krb5.conf,v 1.02 2007/12/07 13:44:00 Sandro.Angius@lnf.infn.it $

[libdefaults]
	default_realm = LNF.INFN.IT

[domain_realm]
	.lnf.infn.it = LNF.INFN.IT
	lnf.infn.it  = LNF.INFN.IT
        .infn.it = INFN.IT
        infn.it  = INFN.IT

[realms]
	LNF.INFN.IT = {
		kdc = kdc5s3.lnf.infn.it:88
		kdc = kdc5s2.lnf.infn.it:88
		kdc = kdc5s1.lnf.infn.it:88
		kdc = kdc5s0.lnf.infn.it:88
		kdc = kdc5p.lnf.infn.it:88
		admin_server = kdc5p.lnf.infn.it:749
		default_domain = lnf.infn.it
	}
	INFN.IT = {
		kdc = k5.infn.it:88
		kdc = afscnaf.infn.it:88
		kdc = afsrm1.roma1.infn.it:88
		kdc = afsna.na.infn.it:88
		admin_server = k5.infn.it:749
		default_domain = infn.it
	}