Kerberos can be managed interactively using kadmin.loca or kadmin (which edits the default realm by default):
sudo kadmin.local
To see a list of principals:
listprincs
To remove principals:
delprinc user@YOUR.KERBEROS.DOMAIN
To add a principal into that database:
addprinc user@YOUR.KERBEROS.DOMAIN