[libdefaults]
 default_realm = WISCTE.WFARM
 
[realms]
 WISCTE.WFARM = {
	kdc = horus.iscte.pt
 }

 iscte.pt = {
 	kdc = horus.iscte.pt
 }

[domain_realm]
    .wiscte.wfarm = WISCTE.WFARM
    wiscte.wfarm = WISCTE.WFARM
    .iscte.pt = WISCTE.WFARM
    iscte.pt = WISCTE.WFARM