[libdefaults]
	default_realm = OX.AC.UK

[realms]
OX.AC.UK = {
	kdc = kdc0.ox.ac.uk
	kdc = kdc1.ox.ac.uk
	admin_server = kdc-admin.ox.ac.uk
}

[domain_realm]
	.ox.ac.uk = OX.AC.UK
	ox.ac.uk = OX.AC.UK