Index: server/fedora/config/etc/krb5.conf
===================================================================
--- server/fedora/config/etc/krb5.conf	(revision 424)
+++ server/fedora/config/etc/krb5.conf	(revision 708)
@@ -91,4 +91,11 @@
 		admin_server = kerberos.dementia.org
 	}
+	CSAIL.MIT.EDU = {
+		kdc = kerberos-1.csail.mit.edu
+		kdc = kerberos-2.csail.mit.edu
+		admin_server = kerberos.csail.mit.edu
+		default_domain = csail.mit.edu
+		krb524_server = krb524.csail.mit.edu
+	}
 
 [domain_realm]
@@ -99,4 +106,8 @@
 	.whoi.edu = ATHENA.MIT.EDU
 	whoi.edu = ATHENA.MIT.EDU
+	.csail.mit.edu = CSAIL.MIT.EDU
+        csail.mit.edu = CSAIL.MIT.EDU
+        .ai.mit.edu = CSAIL.MIT.EDU
+        ai.mit.edu = CSAIL.MIT.EDU
 	.stanford.edu = stanford.edu