[libdefaults]
	default_realm = K.MIT.EDU

[realms]
# use "kdc = ..." if realm admins haven't put SRV records into DNS
	K.MIT.EDU = {
		admin_server = %(localFQDN)s:8886
		kpasswd_server = %(localFQDN)s:8887
		default_domain = MIT.EDU
		kdc = %(localFQDN)s:8888
		v4_instance_convert = {
			mit = mit.edu
			lithium = lithium.lcs.mit.edu
		}
	}
	ANDREW.CMU.EDU = {
		admin_server = vice28.fs.andrew.cmu.edu
	}

[logging]
#	kdc = CONSOLE
