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

[libdefaults]
	default_realm = GALILEU-F.GALILEU.PT
	dns_lookup_realm = true
	dns_lookup_kdc = true
	ticket_lifetime = 24h
	renew_lifetime = 7d
	forwardable = true

[realms]
GALILEU-F.GALILEU.PT = {
   default_domain = galileu-f.galileu.pt
   kdc = 192.168.0.2
   admin_server = 192.168.0.2
}

[domain_realm]
.galileu-f.galileu.pt = GALILEU-F.GALILEU.PT